ていへんかけるたかさわるに

-1 時半起床.

本を読む.
カント『純粋理性批判』.
「第二版序言」.
カントが本書において行った, 認識が対象に従うのではなく対象が認識に従うのだという, いわゆるコペルニクス的転回について述べられる.
それに応じて, 必然的に物自体という概念が現れてくる.

それから数学をやる.
昨日勉強した命題の系:
モナド的関手 $U : \mathrm{D} \rightarrow \mathrm{C}$ が任意の $U$-分解対 ($U$-split pair) の余イコライザー (coequalizer) を作る.
の証明を読む.

行間を補って詳しい証明を書き上げたと思ったのだが, 読み返してみたら途中の議論に自分でもすっきりしない箇所がある.
教科書の議論と合致せず, よく読んだら間違っていた.
証明の鍵となる重要な箇所で, 結局一度完成させたと思った証明のノートを始めから全部書き直すことにする.
自分の理解に不十分な点があったからで, 集中して考えてやっとわかった.

午前中に何とか終わる.

疲れた.
少し眠る.

昼過ぎに起きる.

銀行の ATM に行って今週の生活費をおろす.
先週, 節約しなければならないと書いたのだが節約できていない.
このままだと, 来月 15 日の障害年金支給前の生活はぎりぎりになってしまう.

買い物に行く.
野菜と肉などを買う. 米も買う.

帰宅して食事.
煮物とご飯.

まだ明るいが布団に入る.