2 月 1 日

12:38 : Cisinski を読んでいるんですが，平均して 1 時間で 1 ページくらい進んでそうです　単体的集合の組合せ論に関しては Kerodon とかで結構慣れている気がするので，2 章のモデル圏に関することがらが身につけばあとは割と普通に読んでいけるかもしれないです（希望）

17:31 : 久しぶりに加法圏・アーベル圏に触れています。加法圏であることは structure ではなく property なんですね。