Forms and exterior differentiation in Cartesian differential categories
Theory and applications of categories, Tome 28 (2013), pp. 981-1001
Cet article a éte moissonné depuis 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.
Publié le :
Classification :
18D99, 53A99
Keywords: Cartesian differential categories, Differential forms, Exterior derivative, de Rham cohomology
Keywords: Cartesian differential categories, Differential forms, Exterior derivative, de Rham cohomology
@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},
year = {2013},
volume = {28},
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/