デカルト微分圏とその変種
- オリジナルは ftp://ftp.tac.mta.ca/pub/tac/html/volumes/22/23/22-23.pdf 52p CARTESIAN DIFFERENTIAL CATEGORIES / R.F. BLUTE, J.R.B. COCKETT AND R.A.G. SEELY
- 線形部分圏を入れた https://arxiv.org/abs/1405.6973 60p Cartesian Differential Storage Categories
- デカルト微分制限圏は https://arxiv.org/abs/1208.4068 72p
- 制限構造とファー・ディ・ブルーノの公式 https://arxiv.org/abs/1208.4070 17p
- 接圏との関係は、http://www.math.union.edu/~niefiels/13conference/Web/Slides/Cockett.pdf スライド33枚, Tangent categories are locally Cartesian differential categories / J.R.B. Cockett