{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,7]],"date-time":"2026-04-07T20:15:22Z","timestamp":1775592922692,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,5,7]],"date-time":"2013-05-07T00:00:00Z","timestamp":1367884800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s10485-013-9312-0","type":"journal-article","created":{"date-parts":[[2013,5,6]],"date-time":"2013-05-06T03:49:06Z","timestamp":1367812146000},"page":"331-417","source":"Crossref","is-referenced-by-count":51,"title":["Differential Structure, Tangent Structure, and SDG"],"prefix":"10.1007","volume":"22","author":[{"given":"J. R. B.","family":"Cockett","sequence":"first","affiliation":[]},{"given":"G. S. H.","family":"Cruttwell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,5,7]]},"reference":[{"key":"9312_CR1","doi-asserted-by":"crossref","unstructured":"Abbott, M.: Categories of Containers. PhD Thesis, University of Leicester (2003)","DOI":"10.1007\/3-540-36576-1_2"},{"key":"9312_CR2","doi-asserted-by":"crossref","unstructured":"Abbott, M., Altenkirch, T., Gahni, N., McBride, C.: Derivatives of Containers. In: TLCA\u201903 Proceedings of the 6th international conference on Typed lambda calculi and applications, LNCS 2701, pp. 16\u201330 (2003)","DOI":"10.1007\/3-540-44904-3_2"},{"key":"9312_CR3","doi-asserted-by":"crossref","unstructured":"Bergeron, F., Labelle, G., Leroux, P.: Combinatorial Species and Tree-like Structures. Encyclopedia of Mathematics and its Applications (1997)","DOI":"10.1017\/CBO9781107325913"},{"issue":"3","key":"9312_CR4","first-page":"211","volume":"53","author":"R. Blute","year":"2012","unstructured":"Blute, R., Ehrhard, T., Tasson, C.: A convenient differential category. Cahiers de Topologie et Geom\u00e9trie Diff\u00e9rential Cat\u00e9goriques 53(3), 211\u2013232 (2012)","journal-title":"Cahiers de Topologie et Geom\u00e9trie Diff\u00e9rential Cat\u00e9goriques"},{"key":"9312_CR5","first-page":"622","volume":"22","author":"R. Blute","year":"2008","unstructured":"Blute, R., Cockett, R., Seely, R.: Cartesian differential categories. Theory Appl. Categ. 22, 622\u2013672 (2008)","journal-title":"Theory Appl. Categ."},{"key":"9312_CR6","doi-asserted-by":"crossref","unstructured":"Bucciarelli, A., Ehrhard, T., Manzonetto, G.: Categorical models for simply typed resource lambda-calculus, MFPS (2010)","DOI":"10.1016\/j.entcs.2010.08.013"},{"key":"9312_CR7","first-page":"537","volume":"25","author":"R. Cockett","year":"2011","unstructured":"Cockett, R., Cruttwell, G., Gallagher, J.: Differential restriction categories. Theor. Appl. Categ. 25, 537\u2013613 (2011)","journal-title":"Theor. Appl. Categ."},{"issue":"2","key":"9312_CR8","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/S0304-3975(00)00382-0","volume":"270","author":"R. Cockett","year":"2002","unstructured":"Cockett, R., Lack, S.: Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270(2), 223\u2013259 (2002)","journal-title":"Theor. Comput. Sci."},{"key":"9312_CR9","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1017\/S0960129507006056","volume":"17","author":"R. Cockett","year":"2007","unstructured":"Cockett, R., Lack, S.: Restriction categories III: colimits, partial limits, and extensivity. Math. Struct. Comput. Sci. 17, 775\u2013817 (2007)","journal-title":"Math. Struct. Comput. Sci."},{"key":"9312_CR10","first-page":"383","volume":"25","author":"R. Cockett","year":"2011","unstructured":"Cockett, R., Seely, R.: The Fa\u00e0 di Bruno construction. Theor. Appl. Categ. 25, 383\u2013425 (2011)","journal-title":"Theor. Appl. Categ."},{"key":"9312_CR11","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1017\/S0960129502003729","volume":"12","author":"T. Ehrhard","year":"2001","unstructured":"Ehrhard, T.: On K\u00f6ethe sequence spaces and linear logic. Math. Struct. Comput. Sci. 12, 579\u2013623 (2001)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"9312_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(03)00392-X","volume":"309","author":"T. Ehrhard","year":"2003","unstructured":"Ehrhard, T., Regnier, L.: The differential lambda-calculus. Theor. Comput. Sci. 309(1), 1\u201341 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"9312_CR13","unstructured":"Grandis, M.: Manifolds as enriched categories. In: Categorical Topology (Prague 1988), pp. 358\u2013368 (1989)"},{"issue":"4","key":"9312_CR14","first-page":"169","volume":"20","author":"I. K\u00f3l\u01cer","year":"1984","unstructured":"K\u00f3l\u01cer, I.: Natural transformations of the second tangent functor into itself. Arch. Math. (Brno) 20(4), 169\u2013172 (1984)","journal-title":"Arch. Math."},{"key":"9312_CR15","doi-asserted-by":"crossref","unstructured":"Kriegl, A., Michor, P.: The convenient setting of global analysis. AMS Mathematical Surveys and Monographs, vol. 53 (1997)","DOI":"10.1090\/surv\/053"},{"key":"9312_CR16","unstructured":"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"},{"issue":"1","key":"9312_CR17","first-page":"3","volume":"27","author":"A. Kock","year":"1986","unstructured":"Kock, A.: Convenient vector spaces embed into the Cahiers topos. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 27(1), 3\u201317 (1986)","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"issue":"2","key":"9312_CR18","first-page":"99","volume":"28","author":"A. Kock","year":"1986","unstructured":"Kock, A., Reyes, G.: Corrigendum and addenda to: convenient vector spaces embed into the Cahiers topos. Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g. 28(2), 99\u2013110 (1986)","journal-title":"G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"key":"9312_CR19","doi-asserted-by":"crossref","unstructured":"Kock, A., Reyes, G.: Connections in formal differential geometry. In: Topos Theoretic Methods in Geometry. Aarhus Math. Inst. Var. Publ. Series, No. 30 (1979)","DOI":"10.1007\/BFb0061832"},{"key":"9312_CR20","doi-asserted-by":"crossref","unstructured":"Lawvere, W.: Euler\u2019s 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)","DOI":"10.1007\/978-94-007-0214-1_13"},{"key":"9312_CR21","unstructured":"Manzyuk, O. Tangent bundles in differential lambda-categories (2012). Available at arXiv:1202.0411"},{"key":"9312_CR22","doi-asserted-by":"crossref","unstructured":"Moerdijk, I., Reyes, G.: Models for Smooth Infinitesimal Analysis. Springer (1991)","DOI":"10.1007\/978-1-4757-4143-8"},{"key":"9312_CR23","unstructured":"Nishimura, H.: Axiomatic Differential Geometry (2012). arXiv:1203.3911"},{"issue":"3","key":"9312_CR24","first-page":"1","volume":"12","author":"J. Rosick\u00fd","year":"1984","unstructured":"Rosick\u00fd, J.: Abstract tangent functors. Diagrammes 12(3), 1\u201311 (1984)","journal-title":"Diagrammes"},{"key":"9312_CR25","unstructured":"Street, R.: Skew-closed categories (2012). arXiv:1205.6522v3 [math.CT]"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9312-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-013-9312-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-013-9312-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,13]],"date-time":"2019-07-13T12:10:33Z","timestamp":1563019833000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-013-9312-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,7]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["9312"],"URL":"https:\/\/doi.org\/10.1007\/s10485-013-9312-0","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,7]]}}}