Given an adjunction and morphisms \(f\) and \(g\) in \(\mathcal C\) and \(\mathcal D\) respectively, the orthogonality relations \(f \bot G(g)\) and \(F(f) \bot g\) are equivalent. We use this fact without further comment.
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2