>>153を圏論的に解釈して次の定義が得られる。

定義
次の図式が引き戻し四角形(過去スレ017の866)であるとき、
対 (p, q) を f の合同関係と呼ぶ。

　　p
C　 → X
↓q　　↓f
X　 → Y
　　f