半加法圏である。これは双デカルト性と同じ。 （半体上の半環）上の両側半加群の圏である。 加法的トレースを持つ コンパクト閉である。（従って乗法的トレースを持つ） 半環の構造を持つ（たぶん） 行列テンソル計算と、単体複体による図示。

2次元格子上に、ファイバーがS1、構造群がU(1)のバンドル。

そういえば、Fock空間構成って結局わかんないままだった。

ウーン、なんで気付かなかったんだろう！ アホッ＞俺いやっ、まー、知ってはいたのだけど、あんまり注目してなかった。Setと同じ対象を持ち、射は関係である圏Rel。集合直和をモノイド積としてモノイド圏、空集合が単位で、ホムセット内に合併演算で和が入る…