Voir la notice de l'article provenant de la source Theory and Applications of Categories website
Cartesian differential categories abstractly capture the notion of a differentiation operation. In this paper, we develop some of the theory of such categories by defining differential forms and exterior differentiation in this setting. We show that this exterior derivative, as expected, produces a cochain complex.
@article{TAC_2013_28_a27, author = {G.S.H. Cruttwell}, title = {Forms and exterior differentiation in {Cartesian} differential categories}, journal = {Theory and applications of categories}, pages = {981--1001}, publisher = {mathdoc}, volume = {28}, year = {2013}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2013_28_a27/} }
G.S.H. Cruttwell. Forms and exterior differentiation in Cartesian differential categories. Theory and applications of categories, Tome 28 (2013), pp. 981-1001. http://geodesic.mathdoc.fr/item/TAC_2013_28_a27/