21 citations · 41 across the 10 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.CT2012★ 10 cited
Cartesian differential categories revisited
G. S. H. Cruttwell
We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that the…
math.CT2012★ 21 cited
Differential restriction categories
J. R. B. Cockett, G. S. H. Cruttwell, J. D. Gallagher
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 o…