## 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

- Homotopy Type Theory: Univalent Foundations of Mathematics
- Collaborative Book 2013 link

- Eilenberg-MacLane Spaces in Homotopy Type Theory
- A Mechanization of the Blakers-Massey Theorem in Homotopy Type Theory
- A Type Theoretic Definition of Weak ω-Categories
- Goodwillie’s Calculus of Functors and Higher Topos Theory

## Notes, Preprints and Work in Progress

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

## Thesis

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