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

5 時起床.

昨晩は深夜に目が覚めて, そのまま明け方まで眠れなかった.

午前中はずっと寝る.

午後に入浴する.
なぜか朝から体が怠かったのだが, 湯船に浸かって少しよくなる.

風呂から上がって病院の庭を小一時間ほど散歩. 外の空気が気持ちいい.

夕方は数学の勉強をする.
昨日の続きで, nLab の Eilenberg-Moore 圏 (Eilenberg-Moore category) と Kleisli 圏 (Kleisli category) の項目を復習した.
nLab でのこれらの概念の説明は, Riehl の教科書 と比べてより一般的な観点から記述してあり, 少し戸惑ったが何とか思い出す.

夕食は焼き魚のラタトゥイユソース風とご飯.

眠くなってきた.

早めに眠る.