Cartesian differential categories revisited — G. S. H. Cruttwell (2012). arXiv:1208.4070 (v1, PDF).
Revisits the definition of Cartesian differential categories with a slightly more general version, showing such categories are comonadic over Cartesian categories and treating restriction structure.
Sources: the paper, arXiv:1208.4070v1, checked against the arXiv listing. Index: Papers.
Key definitions and results
- Generalised Cartesian differential categories; cofree differential categories