関係圏の構造

1. 圏である。
2. 2つのモノイド構造 $`\oplus, O, \otimes, I`$
3. 分配法則で半環圏
4. 自己双対なコンペクト閉圏 $`\otimes, \triangleleft, \triangleright`$
5. さまざまなカリー化／反カリー化 $`-^\cap, {^\cap -}, {_\cup - }, {-_\cup}`$
6. 転置〈反転〉
7. 終対象と始対象が一致する。
8. モノイド単位と真偽対象が一致する。
9. ホムセットごとに順序構造で2-圏
10. エンドセットに非可換ベキ等和半環構造
11. スカラー可換半環が二値ブール半環
12. ステート集合と述語集合が同型
13. rng〈レンジ〉とcor〈コレンジ〉、ドメイン付きクリーネ代数構造