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

0 時起床.
体調はいい.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「ギュゲスの指環』の節.
自分も知らず知らずのうちに, 見えない社会構造やシステムに従ってしまうことが多い.
他者との軋轢を恐れたり, 自分が「善良な」人間に見られたいがためにそのようにするのだ.
ここから抜け出すことは, おそらく自分の性格からして無理だと思う.
唯一できそうなことは, そのような構造にあまり近寄らないことだろう. 世の中から隠れて過ごす.

それから数学をやる.
与えられたモナドに伴う Eilenberg-Moore 圏から関手の随伴が構成されること, 構成された随伴から導かれるモナドが最初のモナドと一致するという定理の証明を追う.
証明の細部の補完は練習問題として読者に委ねられている. 行間を補って証明を完成させた.
面白い.

区切りを付けて朝食をとる.
キャベツと目玉焼きとフライドチキン.

疲れたので少し眠る.

昼前に起きて買い物に行く.
野菜などを買う.

帰宅して数学をやる.
代数学の復習で, 環の基本的な練習問題を考える.
任意の可換環が, ある「商環 (quotient ring)」に埋め込まれることを証明せよという問題.
夕方までかかって証明を書く. 内容の確認は明日にでも行うことにする.

夕食をとる.
トマト, 蕎麦と大根おろし.

今日は鬱も無く充実した一日だった.

早めに布団に入る.