關係の圈
関係の圏 - Wikipedia
Rel in nLab
relation in nLab
bicategory of relations in nLab
集合
を對象とし
二項關係
を射とする
圈
$ \bf Rel
積 (圈)
$ A\times B
は集合論的直和
餘積
$ A+B
は集合論的直和
關係の圈
$ \bf Rel
は典型的な
寓 (allegory)
Allegory (mathematics) - Wikipedia
allegory in nLab
(
寓意 (Allegorie)
ではないよ)
多項關係
關係代數
關係論理