REVIEW 1 cited by
Cartesian Differential Comonads and New Models of Cartesian Differential Categories
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
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.
Forward citations
Cited by 1 Pith paper
-
Tangent structures for divided power algebras
Divided power algebras admit a tangent category structure via a semidirect product, with an adjoint structure capturing Kähler differentials, vector fields as special derivations, and modules as differential bundles.
Discussion (0). Continue with ORCID to comment.