明日は圏論勉強会

詳しくは以前の日記参照。
自分はSkype経由で参加予定。でも寝そう。