Books & notes

Higher Topos Theory Section 3.3: Homotopy group objects

Relative homotopy groups and diagonals

Remark 3.28.

Note that we have

\[\pi_n(f) \cong \pi_{n-1}(\Delta_f)\]

for \(n \geq 1\).