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

朝から鬱が辛い.
気分が酷く落ち込んでいる.

頓服を飲んで寝込む.

午後になってようやく起き上がれた.
午前中の鬱が午後まで長引くと, 半日が潰れてしまう.

食事をまだとっていない. 空腹である.
駅の近くのラーメン屋に出かける.

ラーメンライスと餃子.
美味しい. 元気が出るようだ.

帰宅して語学をやる.

それから数学をやる.
昨日引っ掛かった箇所を以前のノートで調べる.
反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ がモナド的 (monadic) であるという結果.
どこかで証明しただろうか?
そうしたら 教科書 の定理 5.5.8 の帰結として, 反変冪集合関手 $P$ がモナド的であることが導いてある.
だが, この定理の証明は練習問題になっていて読者に任せられている. 自分はこれをやっていない. だから証明はまだである.
これは証明しておかないといけない.
明日以降証明する.

薬を飲んで休む.