bonotakeの日記

ソフトウェア工学系研究者 → AIエンジニア → スクラムマスター・アジャイルコーチ

先週末は圏論勉強会

圏論

でした今更ですが。c.f. wiki

テキストのLemma5.7の証明で、突然アバウトな紐のいったりきたりになっていて、

The following graphical proof sketch can be turned into an algebraic proof

とか書いてるんだけど…でもこの圏ってライデマイスター移動とかできるんだっけ？できないんじゃね？となって話が止まってしまった。真面目に algebraic proof とやらをやり始めたところで時間切れ。

誰か証明最後までやってくれないかなー（他力本願）

注：bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。