Write $\DDelta_{\leq n}$ for the full subcategory spanned by the first ordinals in ${\mathbbe{\Delta}}$. Restriction along the inclusion functor $i_n \colon \DDelta_{\leq n} \hookrightarrow {\mathbbe{\Delta}}$ is called -truncation. As is complete and cocomplete, Corollary \ref{cor:kan-exist} implies that -truncation admits both left and right adjoints: \(\xymatrix{\cat{Set}^^\mathrm{op}} \ar[r]\mid{i_n^*} & \textup{\textsf{cat}}^{\DDelta_{\leq n}^\mathrm{op}} \ar@/^1.5pc/[l]^{\Ran_{i_n}} \ar@/_1.5pc/[l]_{\Lan_{i_n}} \ar@{}[l]^*+{\labelstyle{\perp}}_*+{\labelstyle\perp} }\) The composite comonad on $\textup{\textsf{cat}}^^\mathrm{op}}$ is sk, the functor that maps a simplicial set to its -skeleton. The composite monad on $\textup{\textsf{cat}}^^\mathrm{op}}$ is cosk, the functor that maps a simplicial set to its -coskeleton. Furthermore, sk is left adjoint to cosk, as is the case for any comonad and monad arising in this way (see Exercise \ref{exc:adjoint-comonad-monad}).