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

-2 時起床.

本を読む.
カント『純粋理性批判』から「第二版序言」の続き.
序言のまとめ.
カント自身は今後, 自然および道徳の形而上学を提供するという計画の完成へと進むつもりであり, 本著作の晦渋な点を明快にすることは, この著作を克服した優秀な人びとの力に待ちたいとのこと.
一個の理説を己れ自らの上に確立したいと願う人びとにとって, 本書はその理説を彫琢し美しく完成させるために役立つであろうとして序言を結んでいる.

数学をやる.
代数の復習. ユークリッド環に関する練習問題を解く.
圏論の勉強. 群の圏 $\mathbf{Group}$ が集合の圏 $\mathbf{Set}$ 上でモナド的 (monadic) であることの証明を行う.
これには, 昨日やったモノイドの圏 $\mathbf{Monoid}$ が $\mathbf{Set}$ 上でモナド的であるという結果を使う.

朝までかかって証明を書き上げる.

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

午前中はアルコール依存症の自助グループに行く.
天気がよかったので, 会場となっている教会まで歩いた. 気持ちがいい.

今日の参加者は自分を入れて 4 人.
静かないいミーティングだった.

買い物をして帰宅.

疲れたので少し眠る.

起きて早めの夕食をとる.
鰹の刺身と大根おろしとご飯.

夕方に布団に入る.