nLab Eric Finster

• webpage

Selected talks

On higher algebra in homotopy type theory:

• Eric Finster, Towards Higher Universal Algebra in Type Theory, Homotopy Type Theory Electronic Seminar 2018 (recording, Agda code)

Selected writings

Proving the Blakers-Massey theorem in any $(\infty,1)$-topos and with the (n-connected, n-truncated) factorization system allowed to be replaced by more general modalities:

• Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal, A Generalized Blakers-Massey Theorem, Journal of Topology 13 4 (2020) 1521-1553 $[$arXiv:1703.09050, doi:10.1112/topo.12163$]$

On combining homotopy type theory with opetopic type theory:

• Antoine Allioux, Eric Finster, Matthieu Sozeau, Types are internal infinity-groupoids, 2021 (hal:03133144, pdf)

On homotopy dependent linear type theory of dependent stable homotopy types with categorical semantics in parametrized spectra:

• Mitchell Riley, Eric Finster, Daniel Licata, Synthetic Spectra via a Monadic and Comonadic Modality (arXiv:2102.04099)

Related $n$Lab pages

• opetopic type theory

• Eric Finster, Towards Higher Universal Algebra in Type Theory

category: people