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.
Cartesian Differential Comonads and New Models of Cartesian Differential Categories
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
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.
fields
math.CT 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
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.