Cartesian differential categories as skew enriched categories
From MaRDI portal
Publication:825992
DOI10.1007/s10485-021-09649-7zbMath1478.18007arXiv2002.02554OpenAlexW3176696360MaRDI QIDQ825992
Richard Garner, Jean-Simon Pacaud Lemay
Publication date: 18 December 2021
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2002.02554
enriched categorycartesian differential categorydifferential categorydifferential modalityskew monoidal category
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Skew-monoidal categories and bialgebroids.
- On Sweedler's cofree cocommutative coalgebra.
- Hopf monads on monoidal categories
- Directional derivatives and higher order chain rules for abelian functor calculus
- Skew-enriched categories
- The differential lambda-calculus
- Skew structures in 2-category theory and homotopy theory
- Differential categories revisited
- Skew-closed categories
- Triangulations, orientals, and skew monoidal categories
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- What is a categorical model of the differential and the resource λ-calculi?
- Skew monoidales, skew warpings and quantum categories
- Derivations in Codifferential Categories
- ENRICHED CATEGORIES AND COHOMOLOGY
- Operadic categories and their skew monoidal categories of collections
- Categorical Models for Simply Typed Resource Calculi
- Differential categories
- Skew-monoidal reflection and lifting theorems
- Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic
- On the ring of hurwitz series
- A Tangent Category Alternative to the Fa\`a di Bruno Construction
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- An explicit formula for the free exponential modality of linear logic
- Integral and differential structure on the free $C^{\infty}$-ring modality
- Categorical models of the differential λ-calculus
- Cofree coalgebras and differential linear logic
- Monads need not be endofunctors
- Cartesian Differential Storage Categories
- On closed categories of functors
- Aspects of topoi
- Finiteness spaces
- Monads on tensor categories
This page was built for publication: Cartesian differential categories as skew enriched categories
