Publications

Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary (2025). Naturality for Higher Dimensional Path Types. LICS 2025.
PDF IEEE Preprint DOI
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary (2025). Beyond Eckmann-Hilton: Commutativity in Higher Categories.
PDF Preprint DOI
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary (2024). Homotopy.io. FSCD 2024.
PDF Code Try it Preprint DOI
Thibaut Benjamin, Ioannis Markakis, Chiara Sarti (2024). CaTT contexts are finite computads. MFPS 2024.
PDF Preprint DOI
Chiara Sarti, Jamie Vicary (2023). Posetal Diagrams. ACT 2023.
PDF HTML Preprint DOI
Tobias Hartung, Karl Jansen, Chiara Sarti (2022). Zeta-regularized Lattice Field Theory with Lorentzian background metrics.
PDF HTML Preprint DOI