A factorization system \((\mathcal L,\mathcal R)\) on an \(\infty\)-category is completely determined by either \(\mathcal L\) or \(\mathcal R\) (since \(\mathcal R= \mathcal L^\bot\) and \(\mathcal L= {}^\bot \mathcal R\)). We use this fact without further comment.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2