Differential restriction categories

MaRDI QIDQ2884470zbMATH OpenFDO

Authors J. D. Gallagher, J. R. B. Cockett, G. S. H. Cruttwell

Publication date 29 May 2012

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1208.4068, http://www.emis.de/journals/TAC/volumes/25/21/25-21abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

cartesian differential categorydifferential categoryrestriction categorydifferential restriction category

Mathematics Subject Classification ID

Differential algebra (12H05) Eilenberg-Moore and Kleisli constructions for monads (18C20) Differential operators in several variables (32W99) Generalizations (algebraic spaces, stacks) (14A20) General theory of differentiable manifolds (58A99)

Abstract: We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $R^n$ in a way that is completely algebraic. We also give other models for the resulting structure, discuss what it means for a partial map to be additive or linear, and show that differential restriction structure can be lifted through various completion operations.

Recommendations

• Differential categories
• Differential categories revisited
• On differential graded categories
• Differential Tannakian categories
• Cartesian differential categories
• Formalizing Restriction Categories
• Cocompletion of restriction categories
• Categories of modules with differentials
• scientific article; zbMATH DE number 589707
• scientific article; zbMATH DE number 4071908

Cited in

(23)

• scientific article; zbMATH DE number 7779290 (Why is no real title available?)
• Cartesian differential categories as skew enriched categories
• scientific article; zbMATH DE number 5017295 (Why is no real title available?)
• Generalising the étale groupoid-complete pseudogroup correspondence
• Linearizing combinators
• Tensor-restriction categories
• The Greenberg Functor is Site Cocontinuous
• A tangent category alternative to the Faà di Bruno construction
• Cartesian differential categories
• Restriction categories as enriched categories
• Differential structure, tangent structure, and SDG
• Classical distributive restriction categories
• Convenient antiderivatives for differential linear categories
• Exponential functions in Cartesian differential categories
• scientific article; zbMATH DE number 7453172 (Why is no real title available?)
• Formalizing Restriction Categories
• scientific article; zbMATH DE number 589707 (Why is no real title available?)
• Categorical semantics of a simple differential programming language
• Differential categories
• Latent fibrations: fibrations for categories of partial maps
• Elementary Differential Calculus on Discrete and Hybrid Structures
• Integral categories and calculus categories
• Cartesian differential categories revisited

This page was built for publication: Differential restriction categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884470)