ref. 圏論勉強会Wiki やっとテキストが1つ終わりましたよ。次のテキストは何をやるか未定。結構、参加者の希望がバラバラなので（笑）どの方向になるかわからないです。今挙がっている候補は: 竹内外史、層・圏・トポス―現代的集合像を求めて Abramsky & Coe…