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

0 時起床.
体調はいい.

本を読む.
プラトン『国家』.
昨日の続きで, 僭主独裁的な人間の性質について.
ソクラテスは彼らを, 欲望にまみれている最も惨めで最も不幸な人間だと言っている. そうなのだろう.
しかし, 彼ら自身はそうは考えてはいないのではないだろうか.
過去の自分自身のことも顧みてノートをとりながらいろいろ考える.

それから数学をやる.
一般随伴関手定理の (証明の) 応用例.
忘却関手 $U : \mathbf{Group} \rightarrow \mathbf{Set}$ に対する左随伴関手は, 与えられた集合に対する自由群を構成する関手である.
ここでは, 一般随伴関手定理の証明の手法を用いて与えられた集合に対する自由群を構築する.
抽象的な操作を行っているうちに求める自由群ができているというイメージで面白い.
次は特殊随伴関手定理 (Special Adjoint Functor Theorem) である. 今日はその準備まで.

午前中に図書館に行って借りていた本 (『圏論の歩き方』) を返却する.
図書館に関するアンケートに答えてきた.

帰宅して数学の続きをする.
群論の復習. 教科書の練習問題を考える.

午後からアルコール依存症の自助グループに行く.
家を出るのが遅れたため, 遅刻してしまった.

今日のテーマは「千里の道も一歩から」.
自分などは, 千里という長大な長さを想像しただけで怖気付いてしまう.
今現在, 今日一日, この瞬間のみを乗り切ることを考えて何とか断酒を続けている.

買い物をして帰宅.
野菜と魚を買う.

帰宅して食事.
鮪の山かけとご飯.

このところ体調も安定し, 穏やかな日々を送れている.
続いてほしい.

早めに休む.