Differential structure, tangent structure, and SDG JRB Cockett, GSH Cruttwell
Applied Categorical Structures 22 (2), 331-417, 2014
133 2014 A unified framework for generalized multicategories GSH Cruttwell, MA Shulman
arXiv preprint arXiv:0907.2460, 2009
116 2009 Categorical foundations of gradient-based learning GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi
European Symposium on Programming, 1-28, 2022
92 2022 Reverse derivative categories R Cockett, G Cruttwell, J Gallagher, JSP Lemay, B MacAdam, G Plotkin, ...
arXiv preprint arXiv:1910.07065, 2019
56 2019 Differential restriction categories JRB Cockett, GSH Cruttwell, JD Gallagher
arXiv preprint arXiv:1208.4068, 2012
49 2012 Differential bundles and fibrations for tangent categories JRB Cockett, GSH Cruttwell
arXiv preprint arXiv:1606.08379, 2016
41 2016 Normed spaces and the change of base for enriched categories GSH Cruttwell
Dalhousie University, 2008
33 2008 Connections in tangent categories JRB Cockett, GSH Cruttwell
arXiv preprint arXiv:1610.08774, 2016
31 2016 Double fibrations G Cruttwell, M Lambert, D Pronk, M Szyld
arXiv preprint arXiv:2205.15240, 2022
17 2022 A simplicial foundation for differential and sector forms in tangent categories GSH Cruttwell, RBB Lucyshyn-Wright
Journal of Homotopy and Related Structures 13 (4), 867-925, 2018
16 2018 The Jacobi identity for tangent categories JRB Cockett, GSH Cruttwell
Cahiers de Topologie et Géométrie Différentielle Catégoriques 56 (4), 301-316, 2015
15 2015 Cartesian differential categories revisited GSH Cruttwell
Mathematical structures in computer science 27 (1), 70-91, 2017
13 2017 Categorical semantics of a simple differential programming language G Cruttwell, J Gallagher, D Pronk
arXiv preprint arXiv:2101.10491, 2021
12 2021 Differential equations in a tangent category i: Complete vector fields, flows, and exponentials JRB Cockett, GSH Cruttwell, JSP Lemay
Applied Categorical Structures 29 (5), 773-825, 2021
11 2021 Categorical foundations of gradient-based learning (2021) GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi
arXiv preprint arXiv:2103.01931, 2021
11 2021 Affine geometric spaces in tangent categories RF Blute, GSH Cruttwell, RBB Lucyshyn-Wright
arXiv preprint arXiv:1807.09554, 2018
10 2018 Differential bundles in commutative algebra and algebraic geometry GSH Cruttwell, JSP Lemay
arXiv preprint arXiv:2301.05542, 2023
9 2023 Integral and differential structure on the free GSH Cruttwell, JSP Lemay, RBB Lucyshyn-Wright
arXiv preprint arXiv:1902.04555, 2019
8 2019 Monoidal reverse differential categories G Cruttwell, J Gallagher, JSP Lemay, D Pronk
Mathematical Structures in Computer Science 32 (10), 1313-1363, 2022
7 2022 Forms and exterior differentiation in Cartesian differential categories GSH Cruttwell
Theory and Applications of Categories 28 (28), 981-1001, 2013
7 2013