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 categorydifferential restriction categoryrestriction category

Mathematics Subject Classification ID

Differential algebra (12H05) Generalizations (algebraic spaces, stacks) (14A20) Eilenberg-Moore and Kleisli constructions for monads (18C20) Differential operators in several variables (32W99) 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

(26)

• Differential structure, tangent structure, and SDG
• Exponential functions in Cartesian differential categories
• Generalising the étale groupoid-complete pseudogroup correspondence
• Restriction categories as enriched categories
• Cartesian differential categories revisited
• scientific article; zbMATH DE number 5017295 (Why is no real title available?)
• Differential categories
• Cartesian differential categories
• scientific article; zbMATH DE number 589707 (Why is no real title available?)
• A tangent category alternative to the Faà di Bruno construction
• Integral categories and calculus categories
• Tensor-restriction categories
• Latent fibrations: fibrations for categories of partial maps
• Categorical semantics of a simple differential programming language
• Why \textsf{FHilb} is not an interesting (co)differential category
• Linearizing combinators
• The Greenberg Functor is Site Cocontinuous
• Convenient antiderivatives for differential linear categories
• Formalizing Restriction Categories
• Elementary Differential Calculus on Discrete and Hybrid Structures
• scientific article; zbMATH DE number 7779290 (Why is no real title available?)
• Classical distributive restriction categories
• Combining fixpoint and differentiation theory
• Differentiable causal computations via delayed trace (extended version)
• Automatic differentiation for ML-family languages: correctness via logical relations
• Cartesian differential categories as skew enriched categories

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)