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)

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)

category: people

Last revised on June 6, 2022 at 16:09:31. See the history of this page for a list of all contributions to it.