Rel -- このよく整った圏を…

1. 半加法圏である。これは双デカルト性と同じ。
2. （半体上の半環）上の両側半加群の圏である。
3. 加法的トレースを持つ
4. コンパクト閉である。（従って乗法的トレースを持つ）
5. 半環の構造を持つ（たぶん）

行列テンソル計算と、単体複体による図示。