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

0 時起床.

本を読む.
カント『人倫の形而上学の基礎づけ』.
理性的存在者はそれ自体が目的であるという原理は, 理性的存在者が自らの意志によって普遍的な実践的立法を行った結果であることが語られる.
難しかった.

それから数学をやる.
関手 $U : \mathrm{A} \rightarrow \mathrm{S}$ が左随伴を持つための必要十分条件は, 各対象 $s\in\mathrm{S}$ に対してコンマ圏 $s \downarrow U$ が始対象を持つことだという補題の証明.

朝までやって区切りを付ける.

朝食をとる.
パンとコーヒー.

午前中も数学をやる.
群論の復習. コセット, 正規部分群など.
対称群 $S_3$ で実際に計算をしてみる. 面白い.

午後からアルコール依存症の自助グループに行く.
今日のテーマは「幸せならいいじゃないか」.

酒浸りだった頃は, 生活のほぼ全てを酒に支配されていたと思う.
朝起きて飲み, 昼間も飲み続け, 夕方から深夜まで飲み, 他のことは何もできなかった.
とにかく鬱の苦しさから逃れたかった.

では, 素面で過ごす時間の長くなった現在は幸せかというと, 正直なところわからない.
鬱はまだ苦しい. いつまた飲んでしまってもおかしくない.

帰宅して食事.
天麩羅と大根おろし, 蕎麦.

片付けをして休む.