Cartesian Differential Comonads and New Models of Cartesian Differential Categories
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:M7H4CT64record.jsonopen to challenge →
read the original abstract
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 $\lambda$-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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.