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.

I’m reachable via email : harington@lix.polytechnique.fr

Papers

Preprints

• Polynomials in homotopy type theory as a Kleisli category. Elies Harington, Samuel Mimram. Submitted to MFPS, 2024 [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]