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

8 時半起床.

今日は眼医者に行く予定があるので少し踏ん張って起きた.
成人健診で血糖値が高かったことで, 内科の他に眼科にも通っているのだ.

出かけるのが怖いのは相変わらずだったが, 頓服を飲んで凌ぐ.

夕食の食材などを勝手帰宅する.

それから数学をやった.

入院中に書いたノートをきちんとまとめる.
Kan 拡張の存在の証明の中の一つの議論である. 間違っていた部分の修正になる.
ところで, この証明の筋道に現在の自分の力では今一つ得心がいかないところがある.

ただそれはさしあたり先への宿題としておいて大丈夫なので, まずは証明を正しいものにする.