9:30起床。 ご飯を食べた後、昨日の「数学原論」の続きを読む。今日で一章までの復習を終えてしまうつもりだったけどちょこちょこ気になるところが出てきてそこの詰めを色々やってたら今日一日で随伴の定義くらいまでしか行かなかった。特に、スライス圏での…