2006-05-29 昨日は圏論勉強会 圏論 でした。今回はイコライザ付近をメインに。 次回はちょっと飛ばしてSession29予定。なぜだかカントールの対角線論法が出てきます。 ここをやるとYコンビネータが作れるようになるらしいですが、はて本当でしょうか?