でした今更ですが。c.f. wiki
テキストのLemma5.7の証明で、突然アバウトな紐のいったりきたりになっていて、
The following graphical proof sketch can be turned into an algebraic proof
とか書いてるんだけど…でもこの圏ってライデマイスター移動とかできるんだっけ？できないんじゃね？となって話が止まってしまった。真面目に algebraic proof とやらをやり始めたところで時間切れ。
誰か証明最後までやってくれないかなー（他力本願）
