Similar to the situation with \(\infty\)-categories outlined in warning 5.3.9, we caution the reader that the (\(n\)-surjective, \(n\)-faithful) factorization systems on \(\mathrm{Op}\) differs from the (\(n\)-truncated, \(n\)-connected) factorization systems [GK17, Prop. 4.6] derived from the presentability of \(\mathrm{Op}\). We refer the reader to warning 5.3.9 for an in-depth comparison which also applies here.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2