Java EE勉強会とかぶったんでどちらに出席するか迷いましたが、第六回「層・圏・トポス 現代的集合像を求めて」勉強会の方に 出席してきました。今日の板書をアップしました。今日の宿題は以下です。 P80 3)から1)の証明で構成した関手Fは、射をどのように移…