nLab Georg Biedermann

Selected writings

Selected writings

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:

category: people

Last revised on May 15, 2022 at 18:23:14. See the history of this page for a list of all contributions to it.