Exponential functions in Cartesian differential categories
From MaRDI portal
Publication:2035864
DOI10.1007/s10485-020-09610-0zbMath1475.18014arXiv1911.04790OpenAlexW3088279211WikidataQ115605338 ScholiaQ115605338MaRDI QIDQ2035864
Publication date: 25 June 2021
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1911.04790
exponential functionsCartesian differential categoriesdifferential exponential mapsdifferential exponential rigs
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On Sweedler's cofree cocommutative coalgebra.
- On monoids in the category of sets and relations
- Directional derivatives and higher order chain rules for abelian functor calculus
- Exponential rings, exponential polynomials and exponential functions
- The differential lambda-calculus
- Differential structure, tangent structure, and SDG
- Differential categories revisited
- Differential restriction categories
- What is a categorical model of the differential and the resource λ-calculi?
- Differential categories
- 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
- Differential bundles and fibrations for tangent categories
- Cofree coalgebras and differential linear logic
- Cartesian Differential Storage Categories
- Connections in Tangent Categories
This page was built for publication: Exponential functions in Cartesian differential categories
