Example 6.55.
For \(T = \An_{/X}\) we have \(L_n(\An_{/X}) = \An_{/\tau_nX}\), providing a commutative diagram as follows:
So this is the sense in which \(L_n\) “generalizes” the truncation functor \(\tau_n\colon \An \to \An_{\leq n}\).
Higher Topos Theory Section 6.4: Localic topoi, Postnikov-completeness, and boundedness
Example 6.55.
For \(T = \An_{/X}\) we have \(L_n(\An_{/X}) = \An_{/\tau_nX}\), providing a commutative diagram as follows:
So this is the sense in which \(L_n\) “generalizes” the truncation functor \(\tau_n\colon \An \to \An_{\leq n}\).