Definition 3.37.
Let \(T_{\leq \infty}\) denote the full subcategory of \(\infty\)-truncated objects in \(T\). An alternative notation for this subcategory is \(T^{\hyp}\). We say that \(T\) is hypercomplete if every object is \(\infty\)-truncated.
Definition 3.37.
Let \(T_{\leq \infty}\) denote the full subcategory of \(\infty\)-truncated objects in \(T\). An alternative notation for this subcategory is \(T^{\hyp}\). We say that \(T\) is hypercomplete if every object is \(\infty\)-truncated.