第一回層圏トポス合宿へ行ってきました。写真はkuwataさんが撮ってくれてました。自分は二日目の途中(13:00-19:00)だけ居ました。以下、個人的なサマリです。自然変換のid:m-hiyamaさんの話が特に面白かったです。 域、余域、終域、始域、値域、定義域 p.b. …