Cartesian Differential Storage Categories
From MaRDI portal
Publication:5261929
zbMath1330.18009arXiv1405.6973MaRDI QIDQ5261929
R. A. G. Seely, Richard F. Blute, J. Robin B. Cockett
Publication date: 8 July 2015
Full work available at URL: https://arxiv.org/abs/1405.6973
Differential algebra (12H05) Eilenberg-Moore and Kleisli constructions for monads (18C20) Differential operators in several variables (32W99)
Related Items (18)
Cartesian differential categories as skew enriched categories ⋮ Monoidal reverse differential categories ⋮ Cartesian integral categories and contextual integral categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorical models of the differential λ-calculus ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Linearizing Combinators ⋮ Integral categories and calculus categories ⋮ Unnamed Item ⋮ Cofree coalgebras and differential linear logic ⋮ Convenient antiderivatives for differential linear categories ⋮ Categorical models of the differential \(\lambda\)-calculus revisited ⋮ Differential algebras in codifferential categories ⋮ Exponential functions in Cartesian differential categories ⋮ Unnamed Item ⋮ Differential categories revisited ⋮ Jets and differential linear logic
This page was built for publication: Cartesian Differential Storage Categories