Wiki. 关系 2-范畴 [关系2-范畴]

设 $\mathcal C$ 是有拉回的范畴, 则可定义一个 $2$-范畴 $\mathsf{Corr}(\mathcal C)$, 称为关系 $2$-范畴 ($2$-category of correspondences), 其对象为 $\mathcal C$ 的对象, $$ \operatorname{Hom}_{\mathsf{Corr}(\mathcal C)}(X,Y) = \{X \leftarrow Z \to Y\}. $$