Theorem B.4.1 generalizes the (fully faithful, essentially surjective) factorization system on enriched \(\infty\)-categories established by Haugseng in the recent work [Hau23] (without any presentability assumptions).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2