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 3.3: Homotopy group objects

Normal subgroups of fundamental group objects

Exercise 3.29.

Show that every subgroup of $\pi_1(X)$ is normal.

Truncation and connectivity

Section 3.3

Homotopy group objects

Read this result in the continuous section

Notation 3.27 Relative homotopy group objects
Remark 3.28 Relative homotopy groups and diagonals
Exercise 3.29 Normal subgroups of fundamental group objects
Proposition 3.30 The long exact sequence of homotopy group objects
Lemma 3.31 Truncation preserves lower homotopy groups

PreviousRelative homotopy groups and diagonals NextThe long exact sequence of homotopy group objects

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