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 |
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 |
Affine geometric spaces in tangent categories RF Blute, GSH Cruttwell, RBB Lucyshyn-Wright arXiv preprint arXiv:1807.09554, 2018 | 7 | 2018 |
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 |