でした今更ですが。c.f. wikiテキストのLemma5.7の証明で、突然アバウトな紐のいったりきたりになっていて、 The following graphical proof sketch can be turned into an algebraic proof とか書いてるんだけど…でもこの圏ってライデマイスター移動とかで…

2009-9-13(日)(14:00-18:00) 東京都 (秋葉原 某所)テキスト： P. Selinger, "A survey of graphical languages for monoidal categories" 5 Traced categories より (http://www.mscs.dal.ca/~selinger/papers/graphical.pdf) 交通アクセス： 都営新宿線岩本…