Warning 3.17.
In the classical algebraic topology literature, what we call an \(n\)-connected morphism is often called \((n-1)\)-connected. Our indexing is chosen so that \(n\)-connected and \(n\)-truncated morphisms form complementary classes with the same index, and so that the definition applies unchanged in every slice topos.