Geoff S. H. Cruttwell

According to our database, Geoff S. H. Cruttwell authored at least 8 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reverse Tangent Categories.

Geoff S. H. Cruttwell, Jean-Simon Pacaud Lemay

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2022

Monoidal reverse differential categories.

Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk

Math. Struct. Comput. Sci., November, 2022

Categorical Foundations of Gradient-Based Learning.

Geoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson, Fabio Zanasi

Proceedings of the Programming Languages and Systems, 2022

2021

Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials.

J. Robin B. Cockett, Geoff S. H. Cruttwell, Jean-Simon Lemay

Appl. Categorical Struct., 2021

2020

Categorical semantics of a simple differential programming language.

Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Reverse Derivative Categories.

J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2017

Cartesian differential categories revisited.

Geoff S. H. Cruttwell

Math. Struct. Comput. Sci., 2017

2014

Differential Structure, Tangent Structure, and SDG.

J. Robin B. Cockett, Geoff S. H. Cruttwell

Appl. Categorical Struct., 2014