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

2 時起床.

今日は夕方まで, 自分が作った数学のノート内のある記述を考えた.

左 Kan 拡張の構成を記述する中に, ある写像が自然変換になることを証明している部分がある.
ここはかなり考えてやっと証明ができた箇所なのだが, 時間が経って見直してみるとどうもすっきりとしない.

どこか間違っている, もしくは自明でない論理の飛躍があるのではないかと思う.
これを埋めないと先に進めない.

夕方になってやっと, 少なくとも途中の論理の記述に不足があることはわかってきた.
どうやってその不足を解消するかもぼんやりとだが思い描けた.
それを補ってもう一度見直しをしてみる.

ただ今日はくたくたになってしまってどうにも頭が回らないので明日.

集中して考えられる時間が随分長くなってきた. これは良いことだ.

シャワーを浴びて夕食をとる.
冷奴と納豆と豚丼.
豚肉は塩, 醤油と胡椒だけで味を付ける. 甘くしないのが好みなのだ.