＠京都大学中央総合研究棟。 Tutorial on Category Theory and Categorial Logic (Steve Awodey) 午前の二コマは Awodey 氏による圏論チュートリアル、adjointの話（随伴は論理などで本質的な役割を果たし、そのため、そういう構造をきれいに表現できるとい…

暖かい日、Cと一緒に家を出、十三乗り換えで京都に向かう。研究集会に出席後、懇親会に出て、24時に帰宅。