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

7 時起床.
一旦起き上がったが, 抑鬱感が強く頓服を飲んで横になってしばらく休んだ.
なかなか朝の鬱から解放されない. いくつかの面では少しづつ症状が穏やかになってきていることは感じるのだが...

昨日は仕事に行って, 昼休みに数学の練習問題を考えた.
群の圏 $\mathbf{Grp}$ からそれ自身 $\mathbf{Grp}$ への関手で, 各々の群 $G$ に対してその中心 (center)
\begin{equation*}
Z(G) = \left\{\, z \in G \mid zg = gz \, (g \in G) \,\right\}
\end{equation*} を対応させるものは存在しないことを示せという問題である.

証明の大まかな筋道はできたと思うのだが, 今日はなぜか気分が沈んでいて昨日のノートをきちんと見直すことができない.
どうにもならない.
明日もう一度見直してみる.

昼にスーパーに行って食材と歯磨き粉を買う.

帰宅してドアの鍵とチェーンロックをかけてしまってそれ以後は部屋にひきこもって一日を終えた.

メンタルが低調な日が続いているせいか, こうして一人で籠もっているのが一番落ち着くし安心できる.
相変わらず外に出るのが怖いのだ.

夕食は納豆と冷奴, 牛肉と葱炒めとご飯.