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

5 時起床.

昨日少し早く起きて, 無気力だったにも拘らず結構いろいろとできた.
今日も早起きができた.

無気力が辛いが, 昨日と同じように手帳にやることを箇条書きにして一つづつやる.

考えること, 想像することが難しい.
これは自分の場合の鬱のよくある症状である.
頓服や, 一つ一つ行動するやり方で良くなることもあるのだが, 毎日のように続くのはきつい.

外の空気を吸うために暑くなる前に買い物に行ったり, コーヒーを何杯か飲んで気分転換をしたりする.

昼過ぎに鬱が苦しくなって寝込もうかと思ったが, 頓服を飲んで何とか凌いだ.
それが効いたのか, 夕方頃から体調が上向いてきた.

数学をやる.
ずっと引っ掛かっている関手圏 $\mathscr{E} = \mathrm{Func}(\mathscr{C}^{\mathrm{op}}, \mathbf{Set})$ ($\mathscr{C}$ は任意の小圏) がトポスになることの証明を追う.
理解できていない箇所がまだ残っている.
少しづつ地道に積み重ねていくしかない.

夜はアルコール依存症の自助グループのミーティングに参加する.
暑い中出かけるのは大変だったが, ここに参加すると心が落ち着く.