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

Papers

Published

• 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 ]

Preprints

• ∞-categorical models of linear logic. Elies Harington and Samuel Mimram. Submitted to FSCD 2025, Feb 2025 [ pdf ]

Miscellaneous

• 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 ]

Talks

• 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 ]