ヤコビ微分圏： はじまり - 檜山正幸のキマイラ飼育記 (はてなBlog) で、準半加法圏と書いていたが、優半加法圏にしようと思う。理由は、半加法圏に対して「なにか足りてない」のではなくて、内部に半加法圏をホストする親の圏だから、「優〈super〉」がいい…

まず、デカルト微分圏への不満 二階の微分に関する2つの公理がわかりにくい。もっと直感的な公理から定理として導きたい。 微分の局所性が定式化されてない。これはマズイと思う。 微分作用素の線形性は公理じゃないだろう。 偏微分が明示的に定義されてない…