2009-10-10から1日間の記事一覧

第一回層圏トポス米田フェスティバル@矢上祭

数学

出席してきました。本当に圏論の前提知識なしに米田のレンマまでぶっ通しで終わらせました。なんてひど・・・スピーディーな進行！しかし、米田祭だからといって米田のレンマを二度も証明するとは思いませんでした！！参加した方のために、参考資料を残して…