Differential restriction categories
From MaRDI portal
Publication:2884470
zbMath1260.14004arXiv1208.4068MaRDI QIDQ2884470
J. D. Gallagher, G. S. H. Cruttwell, J. Robin B. Cockett
Publication date: 29 May 2012
Full work available at URL: https://arxiv.org/abs/1208.4068
restriction categorycartesian differential categorydifferential categorydifferential restriction category
General theory of differentiable manifolds (58A99) Differential algebra (12H05) Generalizations (algebraic spaces, stacks) (14A20) Eilenberg-Moore and Kleisli constructions for monads (18C20) Differential operators in several variables (32W99)
Related Items (14)
Tensor-restriction categories ⋮ Latent Fibrations: Fibrations for Categories of Partial Maps ⋮ Categorical semantics of a simple differential programming language ⋮ The Greenberg Functor is Site Cocontinuous ⋮ Restriction categories as enriched categories ⋮ Linearizing Combinators ⋮ Cartesian differential categories revisited ⋮ Integral categories and calculus categories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generalising the étale groupoid-complete pseudogroup correspondence ⋮ A Tangent Category Alternative to the Fa\`a di Bruno Construction ⋮ Differential structure, tangent structure, and SDG ⋮ Exponential functions in Cartesian differential categories
This page was built for publication: Differential restriction categories
