nLab Eric Finster

Selected writings

Formalization of (the proof of) the Blakers-Massey theorem in homotopy type theory:

Proving the Blakers-Massey theorem in any ( , 1 ) (\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 (for higher algebra):

reviewed in:

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

On polynomial functors:

On weak ω \omega -categories via computads construed as inductive types:

category: people

Last revised on February 7, 2024 at 07:35:08. See the history of this page for a list of all contributions to it.