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

午前中は鬱が辛く起きられなかった.

午後 2 時に起きる. 自然に気分が上向き, 頓服を飲まずに起き上がることができた.

散歩がてら買い物をする. 一時間ほど歩いた.

帰宅して絵を描く. 昨日描いた絵の続き. かなり集中できた.

数学もやる. 昨日は頭が働かずうまく行かなかったが, 今日は思ったより進んだ.
取り組んでいる命題 ── 関手圏 $\mathrm{Func}(\mathscr{C}^{\mathrm{op}}, \mathbf{Set})$ はトポスである ── の証明まで後一歩のところまで来た.

夕食は納豆と冷奴とおろし蕎麦.

食後になって少し気分が沈んでくる. 早めに布団に入る.