I am a temporary teaching and research fellow at the Galilée Institute of the Sorbonne Paris Nord University, currently finishing a PhD with Samuel Mimram in the Cosynus Team at the LIX laboratory and co-advised by Thomas Seiller in the LoCal team at LIPN. The topic of my PhD is the study of higher categorical polynomial models of linear logic.
I’m interested in (higher) category theory, (homotopy) type theory, algebraic topology, algebraic geometry, and generally in how homotopy theory can shape new ways of thinking about mathematical concepts.
Here’s a link to my curriculum vitae. I’m reachable via email : mail@elies-harington.fr
∞-categorical models of linear logic. Elies Harington and Samuel Mimram. Accepted at FSCD 2025, Feb 2025 [ DOI | web | pdf ]
Polynomials in homotopy type theory as a Kleisli category. Elies Harington and Samuel Mimram. Electronic Notes in Theoretical Informatics and Computer Science, Volume 4 - Proceedings of MFPS XL, Dec 2024 [ DOI | arXiv | web | pdf ]
Opetopic types and higher algebra in Homotopy Type Theory. Elies Harington. Internship report, 2022 [ pdf ]
A construction of Spectra in Algebraic Geometry. Elies Harington. Master’s thesis, 2021 [ pdf ]
Cohomology groups in univalent type theory. Elies Harington. Internship report (in french), 2020 [ pdf ]
Delaunay triangulations on the flat torus in dimensions 2 and 3. Elies Harington. Internship report (in french), 2019 [ pdf ]
An extensional perspective on higher categorical models of linear logic. TLLA workshop in Birmingham, July 19th, 2025 [ slides ]
∞-categorical models of linear logic. [ slides ]
I2M LDP team seminar, invited talk, Marseille, June 19th, 2025
IRIF semantics seminar, invited talk, Paris, June 17th, 2025
LHC days, Palaiseau, June 3rd, 2025 [ slides ]
CHoCoLa meeting invited talk, Lyon, May 15th, 2025
FSCD conference in Birmingham, July 18th, 2025
Cohomologie en HoTT : une traduction mot à mot du langage faisceautique en théorie des types. Catégories supérieures, polygraphes et homotopie Seminar at IRIF, Paris, November 29th, 2024
A model of linear logic using polynomials in Homotopy Type Theory. MFPS conference in Oxford, June 21st, 2024 [ slides | video ]
Polynomials in Homotopy Type Theory. LHC days in Nantes, June 4th, 2024 [ slides ]
Introduction to Category Theory. Grace team student seminar, LIX, Palaiseau, May 28th, 2024
Introduction to Homotopy Type Theory.
Category theory working group, LIPN, Villetaneuse, February 7th, 2024
Cosynus team seminar, LIX, Palaiseau,, November 23rd, 2023