Differential restriction categories

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

cartesian differential category differential category differential restriction category restriction category

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.

Review text

In [\textit{R. F. Blute, J. R. B. Cockett} and \textit{R. A. G. Seely}, Theory Appl. Categ. 22, 622--672 (2009; Zbl 1262.18004)] the authors proposed a more direct approach to differential calculus than their previous [Math. Struct. Comput. Sci. 16, No. 6, 1049--1083 (2006; Zbl 1115.03092)]. In the latter a differential category is an additive symmetric monoidal category with a comonad and a differential combinator, while in the former their emphasis moves from the linear notion to structures resembling the coKleisli category. The present paper proposes to combine cartesian differential categories with restriction categories of \textit{J. R. B. Cockett} and \textit{S. Lack} [Theor. Comput. Sci. 270, No.1--2, 223--259 (2002; Zbl 0988.18003), Theor. Comput. Sci. 294, No. 1--2, 61--102 (2003; Zbl 1023.18005), Math. Struct. Comput. Sci. 17, No. 4, 775--817 (2007; Zbl 1123.18003)] so as to allow partiality of maps.

Recommendations

Cited in

(26)

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)