# nLab Eric Finster

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

On combining homotopy type theory with opetopic type theory:

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.