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

2 時起床.

数学をやる. 朝早い時間だと集中できるので良い.
Kan 拡張の構成の議論をずっと解読してきたが, 一区切りがついた.
本では半ページほどで記述されている構成方法の概略を, 必要な証明を付け, 自明で無い部分を補った.
方法はわかったが, どうしてこういうやり方を行っているのか, まだ理解が十分でない.
もう少し考える必要がある.

あと, Kan 拡張には左 Kan 拡張と右 Kan 拡張があって, 本に記述してあるのは左 Kan 拡張の構成だけである.
右 Kan 拡張については「同様にして右 Kan 拡張も構成できる」と書いてあるだけだ.
左 Kan 拡張の構成をなぞりながら右 Kan 拡張の構成をやってみないと理解が進まない.

昼過ぎから何となく気分が不安定になる.
寝込むほどではないのだが...

しかし夕方から急に落ち込んできた.
苦しい.
結局動けなくなってしまい布団を敷いて寝込む.