Geodesic
A tangent category alternative to the Faa di Bruno construction
Theory and applications of categories, Tome 33 (2018), pp. 1072-1110.

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

The Faa di Bruno construction, introduced by Cockett and Seely, constructs a comonad Faa whose coalgebras are precisely Cartesian differential categories. In other words, for a Cartesian left additive category X, Faa(X) is the cofree Cartesian differential category over X. Composition in these cofree Cartesian differential categories is based on the Faa di Bruno formula, and corresponds to composition of differential forms. This composition, however, is somewhat complex and difficult to work with. In this paper we provide an alternative construction of cofree Cartesian differential categories inspired by tangent categories. In particular, composition defined here is based on the fact that the chain rule for Cartesian differential categories can be expressed using the tangent functor, which simplifies the formulation of the higher order chain rule.
Publié le :
Classification : 18A40, 18C15, 18D99
Keywords: Cartesian Differential Categories, Cofree Cartesian Differential Categories, Tangent Categories, Higher-Order Chain Rule 
@article{TAC_2018_33_a34,
     author = {Jean-Simon P. Lemay},
     title = {A tangent category alternative to the {Faa} di {Bruno} construction},
     journal = {Theory and applications of categories},
     pages = {1072--1110},
     publisher = {mathdoc},
     volume = {33},
     year = {2018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2018_33_a34/}
}
TY  - JOUR
AU  - Jean-Simon P. Lemay
TI  - A tangent category alternative to the Faa di Bruno construction
JO  - Theory and applications of categories
PY  - 2018
SP  - 1072
EP  - 1110
VL  - 33
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2018_33_a34/
LA  - en
ID  - TAC_2018_33_a34
ER  - 
%0 Journal Article
%A Jean-Simon P. Lemay
%T A tangent category alternative to the Faa di Bruno construction
%J Theory and applications of categories
%D 2018
%P 1072-1110
%V 33
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2018_33_a34/
%G en
%F TAC_2018_33_a34
Jean-Simon P. Lemay. A tangent category alternative to the Faa di Bruno construction. Theory and applications of categories, Tome 33 (2018), pp. 1072-1110. http://geodesic.mathdoc.fr/item/TAC_2018_33_a34/