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:
Last revised on May 15, 2022 at 18:23:14. See the history of this page for a list of all contributions to it.