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

-1 時起床.

本を読む.
カント『純粋理性批判』. 「第二版序言」の続き.
本書における批判から得られる帰結が, 思弁的理性に経験の限界を越えさせないようにすることであると述べられる.

それから数学をやる.
monadicity 定理:「右随伴関手 $U : \mathrm{D} \rightarrow \mathrm{C}$ がモナド的 (monadic) であるための必要十分条件は, $U$ が $U$-分解対 ($U$-split pair) の余イコライザー (coequalizer) を作成することである」の証明を読む.
一箇所わからないところがあり, 途中からそれをずっと考える.
解決しない.

集中し過ぎて疲れた.

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

少し眠る.

昼前に起きて朝の続きを考える.
進展せず. どこか, 自分の理解が不足しているところがある.
明日もう一度考えることにして区切りを付ける.

午後からアルコール依存症の自助グループに行く.
静かな雰囲気で気持ちが落ち着いた.

買い物をして帰宅.

食事をとる.
鮪の山かけとご飯.

夕方から鬱が辛くなってくる.
自分は駄目だという思いが強い. 苦しい.

まだ明るいが布団に入る.