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

今朝, 鬱と疲労感・倦怠感が辛かったので頓服を飲んだ.
そうしたら眠気が強くなり寝てしまう. 難しい.

昼過ぎに目が覚めたが抑鬱感が強い. 動けないのでひたすら休む.

先ほどどうにか頓服を飲んで起き上がれた. 夕方の 5 時過ぎ. 凹むなあ.

シャワーを浴びて夕食. トマト, 人参, 茄子, 玉葱, 大根でラタトゥイユを作った. あと, 納豆とご飯.

短い時間だが数学をやる. 昨日の続き.
圏 $\mathscr{C}$ の骨格 $\mathrm{sk}(\mathscr{C})$ の構成とそれが圏になることの証明で自分が手こずったのは 2 つ.
$\mathrm{sk}(\mathscr{C})$ における射の定義が一つ.
射の合成の定義がもう一つ.
どちらも数学に通じた人ならすぐできる類いのことと思う.
自分の場合は, 数学で一つの概念を矛盾無く定義する (well-defined) ということの意味とそのために何をどうすればいいのかがわからなくなっていたので, ものすごく手こずった.
結局わかったと言うか, その感覚を思い出せたので良いことだったが.

今日も射の合成を定義する部分をチェックしながら書いた.
一時間くらいでくたくたになる.
今の体調だとこれが集中力の限界かな.

就寝前の薬を飲んで休む.