Lemma 3.5.
The \(n\)-truncated morphisms in \(C\) are closed under base change.
Proof
Immediate from the definitions, details left to the reader.
Higher Topos Theory Section 3.1: Truncation
Lemma 3.5.
The \(n\)-truncated morphisms in \(C\) are closed under base change.