Given an adjunction between \(\infty\)-categories equipped with factorization systems, the left adjoint preserves the left class if and only if the right adjoint preserves the right class. It follows that passing to adjoints determines an equivalence \(\Pr^{L,\text{f.s.},\mathcal L} \simeq (\Pr^{R,\text{f.s.},\mathcal R})^\mathrm{op}\). We use these facts without further comment.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2