圏論の歩き方

積み本消化シリーズ

京都の地名の人名なのじわじわくる。

授業でちらっと出てきたりするけど謎 みたいなのが出てきてやっぱり謎。

とりあえず一通り読んで〜みたいな構成っぽいので読みすすめていきたい……。

7章、関手圏、米田埋め込み。これだけで全然何言ってたかわからなかったけど8章の解説読んでてケイリーの表現定理(任意の群が対象群で表現できるやつ)と同じようなことやってるって書かれていて「へ〜〜」って言ってた。