A morphism \(f\) in an \(\infty\)-category satisfies the relation \(f \bot f\) if and only if it is an equivalence.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2
A morphism \(f\) in an \(\infty\)-category satisfies the relation \(f \bot f\) if and only if it is an equivalence.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2