I am a PhD student working with Samuel Mimram in the Cosynus Team at the LIX laboratory and co-advised by Thomas Seiller in the LoVe 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 : harington@lix.polytechnique.fr
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 ]
∞-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
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