For any \(\infty\)-category \(\mathcal C\), the pairs \((\mathcal C^\simeq,\mathcal C)\) and \((\mathcal C,\mathcal C^\simeq)\) define factorization systems on \(\mathcal C\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
For any \(\infty\)-category \(\mathcal C\), the pairs \((\mathcal C^\simeq,\mathcal C)\) and \((\mathcal C,\mathcal C^\simeq)\) define factorization systems on \(\mathcal C\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2