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

0 時半起床.

数学をやる. このところ Emily Rieal, "Category Theory in Context" を読んでいる.
現在読んでいるのは関手の節で, Brouwer の不動点定理を点付き位相空間にその基本群を対応させる関手 $\pi_1 : \mathbf{Top}_* \rightarrow \mathbf{Group}$ を用いて証明している.

明るくなってくる頃から鬱と無気力で苦しくなってくる.
寝込んでしまった.

昼近くに頓服を飲んで起き上がる. 体が重いが買い物に出かける.
野菜と肉など二日分くらいの食材を買う.

帰宅して食事. 帆立と玉葱のパスタ.
料理をするのが辛い. 鬱のときは思考力が低下しているためか, 料理の手順がわからなくなるのだ.

そのまま休む.