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

10 時起床.
多少寝坊したが午前中に起き上がることができた.
体調はまあまあ. おととい昨日と続いた鬱の波は越えたようである.

昼過ぎから近所を散歩する.

一時間くらいぶらぶらして帰宅, 数学をやる.

今日やったのは Freyd の随伴関手定理. $\mathscr{D}$ を全ての極限が存在する圏とするとき, 関手 $R : \mathscr{D} \to \mathscr{C}$ が左随伴関手を持つための必要十分条件を述べた定理である.

本の証明は概略をなぞっただけに思える. 少なくとも自分にとってはそうだ.
理解するために補うべき点がたくさんある.

短い時間だが丁寧に本を読むことができた.

優勝は納豆と湯豆腐とご飯.