31日目 11:00起床。ご飯を食べて岩永･佐藤の射影加群のところを軽く読む。引き戻し図形と押し出し図形の普遍性のような命題の辺りの証明を追った。射がn個出てきて、これどこで定義したっけ？ってなったけど、それ以外はわりと分かりやすい議論で助かった。 …