In diagram ([009E]), we refer to \(|-|_k\) as the \((\infty,k)\)-category completion functor and to \(\iota_k\) as the maximal sub-\((\infty,k)\)-category functor.22 For brevity, we may omit the fully faithful inclusion functor \(i_j\) from our notation, implicitly considering an \((\infty,k)\)-category as an \((\infty,j)\)-category with no noninvertible \(i\)-morphisms for any \(i > k\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2