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

朝から鬱が苦しい.
体が動かないし, 世界が灰色になった感じがする.
先日 PSW さんに言われた今は休養するとき, という言葉を言い聞かせてそのまま休む.

午後になってから頓服を飲んで楽になり, 起き上がることができた.

図書館に行って数学をやる. 随伴関手の 2 番目の具体例の節を読む.

集合 $A$ を任意に固定する. 集合の圏 $\mathbf{Set}$ から $\mathbf{Set}$ への 2 つの関手
$(-) \times A$ と $\mathrm{Hom}_{\mathbf{Set}}(A, -)$ を考える. このとき $(-) \times A$ は $\mathrm{Hom}_{\mathbf{Set}}(A, -)$ の左随伴関手である.

すぐにはイメージが掴めないので何度も計算をしてみる.
いつもそうだが, 理解までにとても時間がかかるのだ.

明日に持ち越した.

夕食は冷奴と鰹の刺身, 納豆とご飯.