About Me

Hi! I’m Eric Finster. I’m a member of the CoqHoTT ERC project.

I was born in California, studied in Virginia and presently live just outside Paris.

Research Interests

My main interests are higher category theory and homotopy theory. I am particularly interested in the axiomatic approach to homotopy theory provided by Homotopy Type Theory. Recently I’ve been working a lot on the relationship between ∞-topos theory and Goodwillie’s Calculus of Functors.

I’m also the author of a site all about the opetopes!

Publications

1. Homotopy Type Theory: Univalent Foundations of Mathematics
   • Collaborative Book 2013 link
2. Eilenberg-MacLane Spaces in Homotopy Type Theory
   • LICS Proceedings 2014 pdf/journal
3. A Mechanization of the Blakers-Massey Theorem in Homotopy Type Theory
   • LICS Proceedings 2016 pdf/journal
4. A Type Theoretic Definition of Weak ω-Categories
   • LICS Proceedings 2017 pdf/journal
5. Goodwillie’s Calculus of Functors and Higher Topos Theory
   • Journal of Topology 2018 arXiv/journal

Notes, Preprints and Work in Progress

1. A Generalized Blakers-Massey Theorem arXiv
2. Notes on a Definition of Higher Structure pdf/video/github
3. Opetopic Grammars pdf
4. Implementing the Opetopes pdf
5. Expanded CNRS Research Proposal pdf

Thesis

1. Stabilization of Homotopy Limits pdf
   • University of Virginia, 2010
   • Supervised by Dr. Gregory Arone