On higher algebra in homotopy type theory:
Proving the Blakers-Massey theorem in any -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:
On homotopy dependent linear type theory of dependent stable homotopy types with categorical semantics in parametrized spectra:
Last revised on June 6, 2022 at 16:09:31. See the history of this page for a list of all contributions to it.