Papers

2018.02.06
A Synthetic Version of Lie's Second Theorem
Applied Categorical Structures
Available at [journal], [arxiv]
2016.06.29
Connected Lie Groupoids are Internally Connected and Integral Complete in Synthetic Differential Geometry
Symmetry, Integrability and Geometry: Methods and Applications
Available at [journal], [arxiv]

Essay and Thesis

2015.05.01
Synthetic Lie Theory
Ph.D. Thesis, Macquarie University, Sydney
After minor corrections: pdf
2011
Synthetic Differential Geometry
Part III Essay, University of Cambridge
Original: pdf