Cartesian differential categories revisited

Cruttwell, GSH

Cruttwell, GSH (reprint author), Mt Allison Univ, Dept Math & Comp Sci, Sackville, NB, Canada.

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017; 27 (1): 70

Abstract

We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one......

Full Text Link