Definition 3.36.
A morphism \(f\colon X \to Y\) in \(T\) is called \(\infty\)-connected if it is \(n\)-connected for every \(n\). It is called \(\infty\)-truncated (or hypercomplete) if it is right orthogonal to the class of \(\infty\)-connected maps.