2-圏でモナドを定義するときは、ホムセットは使えない。「単位／余単位 ＋ ジグザグ（スネーク）等式」を使う、そのほうが本質的な定義かもしれない。しかし、ホムセットを使った C(X, UA) ≒ D(FX, A) も捨てがたい。それで、中途半端っちゃそうなんだが、次…

F:C→D、G:D→C のとき、G:C←D と書いてもいいだろう。このアロー図の双対を描くとき、アローから双対ワイヤーへの平面内での向きを時計回りか反時計回りか決めないといけない。これは趣味と習慣以外のナニモノでもないが、アローを時計回りに回してワイヤと決…

Aaron Laudaの論文、Frobenius algebras and planar open string topological field theories 。 http://arxiv.org/PS_cache/math/pdf/0508/0508349v1.pdf 印刷しようかな。でも66ページあるから、綴じるのに困る。