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

1 時半起床.

数学をやる. 層の圏 $\mathbf{Sh}(X)$ が有限極限を持つことの証明. 実際には $\mathbf{Sh}(X)$ は有限を含んだ一般の極限を持つ (層の任意の極限は層になる), つまり完備である.
これで後は羃対象を持つことが示せれば $\mathbf{Sh}(X)$ がトポスであることが証明できる. ただしこの証明も概略が書かれているだけなので細かいところをきちんと補って証明を完成させなければならない.†
† Michael Barr, Charles Wells, "Toposes, Triples and Theories"

昼過ぎから体がだるくなり, 何とも言えない不安感が強くなってくる.
深呼吸をしたり, ストレッチをしたりしてみる. そうすると不安は多少治まるが, 止めるとまた襲ってくる.

今日の不安感は少し苦しいので, 頓服を飲んで布団を敷いて横になる. 頓服の効き目かそのまま少し眠った.

目が覚めたらもう夕方になっていた. 幸い不安感は治まっている.

夕食は豚肉の塩焼きと刻みキャベツ.