Differential structure, tangent structure, and SDG JRB Cockett, GSH Cruttwell
Applied Categorical Structures 22 (2), 331-417, 2014
116 2014 A unified framework for generalized multicategories GSH Cruttwell, MA Shulman
arXiv preprint arXiv:0907.2460, 2009
99 2009 Categorical foundations of gradient-based learning GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi
European Symposium on Programming, 1-28, 2022
64 2022 Reverse derivative categories R Cockett, G Cruttwell, J Gallagher, JSP Lemay, B MacAdam, G Plotkin, ...
arXiv preprint arXiv:1910.07065, 2019
48 2019 Differential restriction categories JRB Cockett, GSH Cruttwell, JD Gallagher
arXiv preprint arXiv:1208.4068, 2012
47 2012 Differential bundles and fibrations for tangent categories JRB Cockett, GSH Cruttwell
arXiv preprint arXiv:1606.08379, 2016
31 2016 Normed spaces and the change of base for enriched categories GSH Cruttwell
Dalhousie University, 2008
27 2008 Connections in tangent categories JRB Cockett, GSH Cruttwell
arXiv preprint arXiv:1610.08774, 2016
25 2016 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
14 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
13 2015 Cartesian differential categories revisited GSH Cruttwell
Mathematical structures in computer science 27 (1), 70-91, 2017
12 2017 Categorical semantics of a simple differential programming language G Cruttwell, J Gallagher, D Pronk
arXiv preprint arXiv:2101.10491, 2021
10 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
8 2021 Integral and differential structure on the free -ring modality GSH Cruttwell, JSP Lemay, RBB Lucyshyn-Wright
arXiv preprint arXiv:1902.04555, 2019
8 2019 Affine geometric spaces in tangent categories RF Blute, GSH Cruttwell, RBB Lucyshyn-Wright
arXiv preprint arXiv:1807.09554, 2018
8 2018 Categorical foundations of gradient-based learning (2021) GSH Cruttwell, B Gavranović, N Ghani, P Wilson, F Zanasi
arXiv preprint arXiv:2103.01931, 2021
7 2021 Double fibrations G Cruttwell, M Lambert, D Pronk, M Szyld
arXiv preprint arXiv:2205.15240, 2022
6 2022 Towards formalizing and extending differential programming using tangent categories G Cruttwell, J Gallagher, B MacAdam
Proc. ACT 2019, 2019
6 2019 Forms and exterior differentiation in Cartesian differential categories GSH Cruttwell
Theory and Applications of Categories 28 (28), 981-1001, 2013
6 2013 Monoidal reverse differential categories G Cruttwell, J Gallagher, JSP Lemay, D Pronk
Mathematical Structures in Computer Science 32 (10), 1313-1363, 2022
4 2022