Hostname: page-component-848d4c4894-2xdlg Total loading time: 0 Render date: 2024-07-08T03:47:38.796Z Has data issue: false hasContentIssue false

Cartesian differential categories revisited

Published online by Cambridge University Press:  13 April 2015

G. S. H. CRUTTWELL*
Affiliation:
Department of Mathematics and Computer Science, Mount Allison University, Sackville, NB

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 application, we show that these general differential categories are comonadic over categories with finite products, so that every category with finite products has an associated cofree differential category. We also work out the corresponding results when the categories involved have restriction structure, and show that these categories are closed under splitting restriction idempotents.

Type
Paper
Copyright
Copyright © Cambridge University Press 2015 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Blute, R., Cockett, J. and Seely, R. (2006). Differential categories. Mathematics Structures in Computer Science 16 10491083.Google Scholar
Blute, R., Cockett, J. and Seely, R. (2009). Cartesian differential categories. Theory and Applications of Categories 22 622672.Google Scholar
Blute, R., Ehrhard, T. and Tasson, C. (2012). A convenient differential category. Cahiers de Topologie et Geométrie Différential Catégoriques 53 211232.Google Scholar
Cockett, J. and Lack, S. (2007). Restriction categories III: Colimits, partial limits, and extensivity. Mathematical Structures in Computer Science 17 775817.Google Scholar
Cockett, R. and Cruttwell, G. (2014). Differential structure, tangent structure, and SDG. Applied Categorical Structures 22 (2) 331417.CrossRefGoogle Scholar
Cockett, R., Cruttwell, G. and Gallagher, J. (2011). Differential restriction categories. Theory and Applications of Categories 25 537613.Google Scholar
Cockett, R. and Lack, S. (2002). Restriction categories I: Categories of partial maps. Theoretical Computer Science 270 (2) 223259.Google Scholar
Cockett, J. and Seely, R. (2011). The Faá di bruno construction. Theory and Applictions of Categories 25 393425.Google Scholar
Ehrhard, T. and Regnier, L. (2003). The differential lambda-calculus. Theoretical Computer Science 309 (1) 141.CrossRefGoogle Scholar
Kock, A. (2006). Synthetic Differential Geometry, 2nd ed. Cambridge University Press. Also (Available at http://home.imf.au.dk/kock/sdg99.pdf.)CrossRefGoogle Scholar
Laird, J., Manzonetto, G. and McCusker, G. (2013). Constructing differential categories and deconstructing categories of games. Information and Computation 222 247264.Google Scholar
Manzonetto, G. (2012). What is a categorical model of the differential and the resource λ-calculi? Mathematical Structures in Computer Science 22 (3) 451520.CrossRefGoogle Scholar
Robinson, E. and Roslini, G. (1988). Categories of partial maps. Information and Computation 79 94–13.Google Scholar
Rosický, J. (1984). Abstract tangent functors. Diagrammes 12, Exp. (3).Google Scholar