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