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

0 時起床.

数学をやる.
モナド $(T,\eta,\mu)$ を導く関手の随伴の圏 $\mathbf{Adj}_T$ において, Kleisli 随伴が始対象, Eilenberg-Moore 随伴が終対象となるという命題の証明を読む.
明け方前に区切りを付ける.
証明の概略を読んで終わる.

今日は作業療法に行きたいので弁当を作る.

いつもの時間に家を出ると外は雪が降っている.
寒い.

午前中に病院のアトリエに到着.
今日はスタッフも含めても 4 人しか来ていない.

描きかけの絵の続きを描く.
完成した.

昼過ぎに病院から, 今日は雪が激しいので早めに帰宅してくださいとの連絡がある.
病院内のデイケアなど他のプログラムも午前中で終了したそうだ.

午後の早い時間にアトリエを出る.
雪で電車が遅れていて, 帰宅したのは夕方になった.

非常に寒い.
一休みして布団に入る.