Cartesian differential categories as skew enriched categories
From MaRDI portal
Publication:825992
Abstract: We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids -- or in a straightforward generalisation, the category of modules over a commutative rig . However, the tensor product on this category is not the usual one, but rather a warping of it by a certain monoidal comonad . Thus the enrichment base is not a monoidal category in the usual sense, but rather a skew monoidal category in the sense of Szlach'anyi. Our first main result is that cartesian differential categories are the same as categories with finite products enriched over this skew monoidal base. The comonad involved is, in fact, an example of a differential modality. Differential modalities are a kind of comonad on a symmetric monoidal -linear category with the characteristic feature that their co-Kleisli categories are cartesian differential categories. Using our first main result, we are able to prove our second one: that every small cartesian differential category admits a full, structure-preserving embedding into the cartesian differential category induced by a differential modality (in fact, a monoidal differential modality on a monoidal closed category -- thus, a model of intuitionistic differential linear logic). This resolves an important open question in this area.
Recommendations
Cites work
- A tangent category alternative to the Faà di Bruno construction
- An explicit formula for the free exponential modality of linear logic
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Aspects of topoi
- Cartesian differential categories
- Cartesian differential storage categories
- Categorical models for simply typed resource calculi
- Categorical models of the differential λ-calculus
- Cofree coalgebras and differential linear logic
- Derivations in codifferential categories
- Differential categories
- Differential categories revisited
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- Directional derivatives and higher order chain rules for abelian functor calculus
- ENRICHED CATEGORIES AND COHOMOLOGY
- Finiteness spaces
- Hopf monads on monoidal categories
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 3522182 (Why is no real title available?)
- scientific article; zbMATH DE number 2079022 (Why is no real title available?)
- scientific article; zbMATH DE number 3305156 (Why is no real title available?)
- scientific article; zbMATH DE number 3309240 (Why is no real title available?)
- scientific article; zbMATH DE number 3385867 (Why is no real title available?)
- scientific article; zbMATH DE number 7650830 (Why is no real title available?)
- Integral and differential structure on the free C^-ring modality
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Monads need not be endofunctors
- Monads on tensor categories
- On closed categories of functors
- On Sweedler's cofree cocommutative coalgebra.
- On the ring of hurwitz series
- Operadic categories and their skew monoidal categories of collections
- Skew monoidales, skew warpings and quantum categories
- Skew structures in 2-category theory and homotopy theory
- Skew-closed categories
- Skew-enriched categories
- Skew-monoidal categories and bialgebroids.
- Skew-monoidal reflection and lifting theorems
- The differential lambda-calculus
- The Faà di Bruno construction
- Triangulations, orientals, and skew monoidal categories
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
Cited in
(11)- scientific article; zbMATH DE number 7407795 (Why is no real title available?)
- Monoidal reverse differential categories
- scientific article; zbMATH DE number 7684599 (Why is no real title available?)
- A skew approach to enrichment for Gray-categories
- An ultrametric for Cartesian differential categories for Taylor series convergence
- Cartesian differential Kleisli categories
- Additive enrichment from coderelictions
- Objective Mackey and Tambara functors via parametrized categories
- Properties and characterisations of cofree Cartesian differential categories
- Combining fixpoint and differentiation theory
- Coherent Taylor expansion as a bimonad
This page was built for publication: Cartesian differential categories as skew enriched categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q825992)
