Differential structure, tangent structure, and SDG

Applied Categorical Structures

Volumn 22, Issue 2, 2014, Pages 331-417

  Cockett, J R B ^a   Cruttwell, G S H ^b  

^a UNIVERSITY OF CALGARY   (Canada)

^b MOUNT ALLISON UNIVERSITY   (Canada)

Author keywords

Category theory; Differential categories; Differential geometry; Synthetic differential geometry

Indexed keywords

EID: 84898868508     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10485-013-9312-0     Document Type: Article

References (25)

1. Abbott, M.: Categories of Containers. PhD Thesis, University of Leicester (2003)
2. Abbott, M., Altenkirch, T., Gahni, N., McBride, C.: Derivatives of Containers. In: TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications, LNCS 2701, pp. 16-30 (2003)
3. Bergeron, F., Labelle, G., Leroux, P.: Combinatorial Species and Tree-like Structures. Encyclopedia of Mathematics and its Applications (1997)
4. Blute, R., Ehrhard, T., Tasson, C.: A convenient differential category. Cahiers de Topologie et Geométrie Différential Catégoriques 53(3), 211-232 (2012)
5. Blute, R., Cockett, R., Seely, R.: Cartesian differential categories. Theory Appl. Categ. 22, 622-672 (2008)
6. Bucciarelli, A., Ehrhard, T., Manzonetto, G.: Categorical models for simply typed resource lambda-calculus, MFPS (2010)
7. Cockett, R., Cruttwell, G., Gallagher, J.: Differential restriction categories. Theor. Appl. Categ. 25, 537-613 (2011)
8. Cockett, R., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270(2), 223-259 (2002)
9. Cockett, R., Lack, S.: Restriction categories III: colimits, partial limits, and extensivity. Math. Struct. Comput. Sci. 17, 775-817 (2007)
10. Cockett, R., Seely, R.: The Faà di Bruno construction. Theor. Appl. Categ. 25, 383-425 (2011)
11. Ehrhard, T.: On Köethe sequence spaces and linear logic. Math. Struct. Comput. Sci. 12, 579-623 (2001)
12. Ehrhard, T., Regnier, L.: The differential lambda-calculus. Theor. Comput. Sci. 309(1), 1-41 (2003)
13. Grandis, M.: Manifolds as enriched categories. In: Categorical Topology (Prague 1988), pp. 358-368 (1989)
14. Kólǎr, I.: Natural transformations of the second tangent functor into itself. Arch. Math. (Brno) 20(4), 169-172 (1984)
15. Kriegl, A., Michor, P.: The convenient setting of global analysis. AMS Mathematical Surveys and Monographs, vol. 53 (1997)
16. Kock, A.: Synthetic Differential Geometry. Cambridge University Press, 2nd edn. (2006). Also available at http://home.imf.au.dk/kock/sdg99.pdf. Accessed 23 April 2013
17. Kock, A.: Convenient vector spaces embed into the Cahiers topos. Cah. Topol. Géom. Différ. Catég. 27(1), 3-17 (1986)
18. Kock, A., Reyes, G.: Corrigendum and addenda to: convenient vector spaces embed into the Cahiers topos. Cah. Topol. Géom. Différ. Catég. 28(2), 99-110 (1986)
19. Kock, A., Reyes, G.: Connections in formal differential geometry. In: Topos Theoretic Methods in Geometry. Aarhus Math. Inst. Var. Publ. Series, No. 30 (1979)
20. Lawvere, W.: Euler's continuum functorially vindicated. In: Logic, Mathematics, Philosophy: Vintage Enthusiasms (Essays in Honour of John L. Bell), the Western Ontario Series in Philosophy of Science. Springer (2011)
21. Manzyuk, O. Tangent bundles in differential lambda-categories (2012). Available at arXiv:1202.0411
22. Moerdijk, I., Reyes, G.: Models for Smooth Infinitesimal Analysis. Springer (1991)
23. Nishimura, H.: Axiomatic Differential Geometry (2012). arXiv:1203.3911
24. Rosický, J.: Abstract tangent functors. Diagrammes 12(3), 1-11 (1984)
25. Street, R.: Skew-closed categories (2012). arXiv:1205.6522v3 [math.CT]