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