Differential restriction categories (Q2884470)

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.