Proof display

Page layout

Show navigation panel

View the entire manuscript as a PDF 📖 View the entire manuscript as a PDF

← Books & notes

Higher Topos Theory Section 5.2: The Blakers--Massey theorem

L-cartesian squares

Definition 5.20.

A commutative square in $\(T\)$ is called $\(L\)$ -cartesian if its gap map lies in $\(L\)$ .

Section 5.2

The Blakers–Massey theorem

Read this result in the continuous section

Corollary 5.18 The Blakers–Massey connectivity theorem
Remark 5.19 The dual Blakers–Massey theorem
Definition 5.20 L-cartesian squares
Proposition 5.21 Properties of L-cartesian squares
Lemma 5.22 A factorization criterion for L-cartesian squares

PreviousThe dual Blakers–Massey theorem NextProperties of L-cartesian squares

Generated from the authoritative LaTeX source, including numbered results, cross-references, bibliography, diagrams, and nested proof details.