Cubical Synthetic Homotopy Theory (HAL) (slides)
Anders Mörtberg, Loïc Pujet
CPP 2020
I am a PhD student in the Inria team Gallinette, at LS2N in Nantes.
My research interests lie in various areas of mathematics and computer science ; especially type theory, constructive mathematics, homotopy theory and category theory.
You can contact me at firstname.lastname@inria.fr (without diacritics).
I know, my website is not very pretty as of now, hopefully it will improve soon enough.
Cubical Synthetic Homotopy Theory (HAL) (slides)
Anders Mörtberg, Loïc Pujet
CPP 2020
Synthetic homotopy theory in cubical type theory and the Hopf fibration (no slides available)
CMU HoTT seminar, 28 February 2019
Beyond the probability of coprimality (slides)
UTokyo, JFLI Internship Day, 20 July 2017
A semantic account of the presheaf translation (pdf)
Last update: 02/12/2020