気分が酷く落ち込んでいる.
頓服を飲んで寝込む.
午前中の鬱が午後まで長引くと, 半日が潰れてしまう.
食事をまだとっていない. 空腹である.
駅の近くのラーメン屋に出かける.
ラーメンライスと餃子.
美味しい. 元気が出るようだ.
帰宅して語学をやる.
それから数学をやる.
昨日引っ掛かった箇所を以前のノートで調べる.
反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ がモナド的 (monadic) であるという結果.
どこかで証明しただろうか?
そうしたら 教科書 の定理 5.5.8 の帰結として, 反変冪集合関手 $P$ がモナド的であることが導いてある.
だが, この定理の証明は練習問題になっていて読者に任せられている. 自分はこれをやっていない. だから証明はまだである.
これは証明しておかないといけない.
明日以降証明する.
薬を飲んで休む.
【このカテゴリーの最新記事】
- no image
- no image
- no image
- no image
- no image
