5 時起床.
昨晩は深夜に目が覚めて, そのまま明け方まで眠れなかった.
午前中はずっと寝る.
午後に入浴する.
なぜか朝から体が怠かったのだが, 湯船に浸かって少しよくなる.
風呂から上がって病院の庭を小一時間ほど散歩. 外の空気が気持ちいい.
夕方は数学の勉強をする.
昨日の続きで, nLab
の Eilenberg-Moore 圏 (Eilenberg-Moore category)
と Kleisli 圏 (Kleisli category)
の項目を復習した.
nLab でのこれらの概念の説明は, Riehl の教科書
と比べてより一般的な観点から記述してあり, 少し戸惑ったが何とか思い出す.
夕食は焼き魚のラタトゥイユソース風とご飯.
眠くなってきた.
早めに眠る.