定義を探すことが多いので、まとめておくのがよいな。クラットウェル（https://arxiv.org/pdf/1208.4070.pdf）の一般化デカルト微分圏。射の結合は、図式順で併置。射影はπ0とπ1。 A generalized Cartesian differential category consists of a Cartesian c…

C∞代数をローヴィエル理論と見ている。面白い。 http://www.kurims.kyoto-u.ac.jp/EMIS/journals/CMUC/pdf/cmuc9603/michor.pdf

参考：「包含付き圏：対象を集合っぽく扱うために」http://d.hatena.ne.jp/m-hiyama/20101102/1288670139 category with inclusionsにさらに条件を足す。 そのinclusionをopen inclusionと呼ぶ。 他に、a family of models を指定する。 category with open-…