ScalingStacks

[05YM]

Corollary 4.2.7. In a presentable ∞\infty-category 𝒞\mathcal{C}, an object XX is nn-connected for some n≥−2n\geq-2 if and only if its nn-truncation τ≤n𝒞​X\tau_{\leq n}^{\mathcal{C}}X is a terminal object of 𝒞\mathcal{C}.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.

Tomer Schlank, Lior Yanovski

Original source: arXiv:1808.06006v3

Original source page 30

Original source · 1808.06006v3