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

6 時半起床.
体調は今一つ. しかしこのくらいなら起き上がれる.

仕事の日なので弁当を作る.
米を研いで炊き, おかずを準備する.
いつもこの手順がもたもたするのだが, 今日は順調に行った.

家を出るまでの少しの間に数学を考える.
このところずっと集合値関手の圏 $\mathscr{E} = \mathrm{Func}(\mathscr{C}^{\mathrm{op}}, \mathbf{Set})$ ($\mathscr{C}$ は小さな圏) がトポスになることの証明を追っている.
証明は, $\mathscr{E}$ においてある性質が成立することを証明するのに, その性質が集合の圏 $\mathbf{Set}$ で成立していることを用いて行っている.
証明を読む中で, 自分の圏論の基本的な理解に曖昧な点がいくつもある事がわかった.
必要な部分を確認しながら進んでいる. 時間はかかっているが別に急いでいないのでいい.
もう少しで証明が完成しそうだが, これからまだ躓くところがあるかも知れない.

今日の仕事は自分にとってはやや複雑だった. 2 種類の作業 ── チラシ印刷とチラシ折り ── を並行して行わなければならない.
頭が疲れた.
複数のことを同時に進めていく作業は難しい.

帰宅して少し横になる.

夕食はトマトとチーズのサラダ.

食べて少ししてから休む.