- ref. 圏論勉強会Wiki
やっとテキストが1つ終わりましたよ。
次のテキストは何をやるか未定。結構、参加者の希望がバラバラなので（笑）どの方向になるかわからないです。今挙がっている候補は:
- 竹内外史、層・圏・トポス―現代的集合像を求めて
- Abramsky & Coecke の、quantum computation 関係
- Arrows / Monad を扱うようなもの
- 改めて、初学者が入りやすいようなもの
他に希望がある方はmixiのコミュへどうぞ。面倒くさい人はここのコメントでもいいですが（笑）
[追記] 昨日話題になったこの画像、よく見ると見覚えが。あれ？そういや天竺付近にこんな…
