Given a class \(S\) of morphisms in an \(\infty\)-category, we write \(S^\perp\) (resp. \(^\perp S\)) for the class of morphisms that are right (resp. left) orthogonal to those in \(S\).
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2