次回の圏論勉強会

4/22（日）予定でしたが、4/28（土）に変更になりました。mixi読めない人のためにお知らせ。