ベクトル空間のモノイド圏の代理＝関係圏

ベクトル空間とテンソル積のモノイド圏はなにかと便利だが、必ずしも理解しやすいとは限らない。代用品として、関係圏が使える。

関係圏もやさしくはないのだが、ブール値（0-1成分）牛列だと思えばよい。半環係数の行列の圏だと思うと：

1. モノイド圏である。
2. 転置により対合（involution）がある。
3. 必要なら順序関係により、高次圏を作れる。
4. 二部グラフで計算できる。
5. ビットパターンで表現できる。
6. 集合圏をそのまま埋め込める。
7. 集合圏では逆が存在しないものも転置で扱える。
8. 「広がった要素」を扱える。
9. 「非決定性写像」というモデル化がある。