最近、次のように考えている。 面（サイド、フェイス）の区別は、フロント面、バック面とする。通常、フロント→バックの向きに（奧に向かって）矢印を描く。 面への呼び出し線が入る場所にマイナス、出る場所にプラスの符号を与える。外側ではプラス→マイナ…

"GENERIC COMMUTATIVE SEPARABLE ALGEBRAS AND COSPANS OF GRAPHS"（http://www.tac.mta.ca/tac/volumes/15/6/15-06.pdf）とか、アブラムスキーの"Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categoris"（http://web.comlab.ox.…