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

0 時起床.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
第二版において行った叙述の訂正について述べられる.
難解とされ, 十分な理解が得られなかった部分をできるだけわかりやすく書き直したとのこと.
その際, 命題および命題の証明理由の内容については変更の必要を認めなかったというところに, カントの自信が窺える.

それから数学をやる.
モノイドの圏 $\mathbf{Monoid}$ が集合の圏 $\mathbf{Set}$ 上でモナド的 (monadic) であるという命題の証明を読む.
圏論的に, 図式を使った計算で証明が進行していく.
朝までかかって読み終えた.

朝食をとる.
キャベツとハムエッグとコーヒー.

午前中は郵便局に行って役所に書類を提出する.
銀行の ATM に行って今週分の生活費をおろす.
買い物に行って野菜や魚などを買う.

昼過ぎに一区切り付いた.

少し眠る.

夕方に起きて食事.
しらすおろしと小松菜炒めとご飯.

まだ早いが布団に入る.