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

昨日開催された米田祭に、主に写真と野次担当で参加しました。
Google グループとか第一回層圏トポス米田フェスティバル@矢上祭 | Flickr。

• 10分で説明する圏、関手、自然変換
• セミコロンをオーバーロード(C++的な意味で)

など、とても面白い集まりでした。
もちろん米田のレンマまで行きましたよ、2回。

しかし米田のレンマは、証明はたどれても意味が分からないのは相変わらずでした。いつか分かるんだろうか。