Publications
- Magnitude homology equivalence of Euclidean sets with Tom Leinster (2025), to appear in AGT
- Encoding Dependently-Typed Constructions into Simple Type Theory with Anthony Bordg (2023)
Preprints
Talks
| 01/10/24 | Pushforward monads | CATNIP |
| 27/06/24 | Pushforward monads | CT2024 |
| 15/04/24 | Pushing monads forward | SYCO 12 |
| 28/02/24 | Magnitude homology in Euclidean space | Structure and Symmetry Day |
| 07/02/24 | Codensity and pushforward monads | Edinburgh CT seminar |
| 01/11/23 | Filtered colimits, algebraic theories and finitary monads | Edinburgh CT seminar |
| 29/09/23 | Magnitude homology and straight metric spaces | Hodge club seminar |
| 27/01/23 | The magnitude of a graph | GlaMS Example Showcase |
Notes
- Persistent homology - GlaMS group project with Malthe Sporring and Yan Yau Cheng
- Soergel bimodules and HOMFLY-PT homology - Part III essay
- Exploring the capabilities of the Lean interactive theorem prover - Honours project for BSc Computer Science and Mathematics