21 citations · 24 across the 2 of their papers we have counts for
1 paper · 1 filter
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…