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!


  1. Homotopy Type Theory: Univalent Foundations of Mathematics
    • Collaborative Book 2013 link
  2. Eilenberg-MacLane Spaces in Homotopy Type Theory
  3. A Mechanization of the Blakers-Massey Theorem in Homotopy Type Theory
  4. A Type Theoretic Definition of Weak ω-Categories
  5. Goodwillie’s Calculus of Functors and Higher Topos Theory

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


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