Differential restriction categories

zbMATH Open1260.14004arXiv1208.4068MaRDI QIDQ2884470FDOQ2884470

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)

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.

Full work available at URL: https://arxiv.org/abs/1208.4068

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

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

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)

Cited In (23)

• Cartesian differential categories as skew enriched categories
• 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
• Classical distributive restriction categories
• Differential structure, tangent structure, and SDG
• Convenient antiderivatives for differential linear categories
• Exponential functions in Cartesian differential categories
• Title not available (Why is that?)
• Formalizing Restriction Categories
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)

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)