2 research outputs found
Cartesian Differential Comonads and New Models of Cartesian Differential Categories
Cartesian differential categories come equipped with a differential
combinator that formalizes the derivative from multi-variable differential
calculus, and also provide the categorical semantics of the differential
-calculus. An important source of examples of Cartesian differential
categories are the coKleisli categories of the comonads of differential
categories, where the latter concept provides the categorical semantics of
differential linear logic. In this paper, we generalize this construction by
introducing Cartesian differential comonads, which are precisely the comonads
whose coKleisli categories are Cartesian differential categories, and thus
allows for a wider variety of examples of Cartesian differential categories. As
such, we construct new examples of Cartesian differential categories from
Cartesian differential comonads based on power series, divided power algebras,
and Zinbiel algebras.Comment: Accepted and to be published in Cahiers de topologie et g\'eom\'etrie
diff\'erentielle cat\'egorique