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

雑多な一日

午前中は買い出しに出かける.
近所のスーパーで 10 % 割り引きセールをやっている.
大根, 人参, キャベツ, ブロッコリー, 長芋, 納豆, 豚肉, 鶏肉, 牛乳など買い込む.

昼食は目玉焼きとご飯.

午後は数学と絵をやる.
こんなことをしても何にもならない, という無価値感はまだある.

けれども, 今日で数学の練習問題の LaTeX での清書はひとまず終わった.
圏 $\mathscr{C}$ が与えられたとき, $\mathscr{C}$ の射の集まり $\text{Ar}(\mathscr{C})$ を対象とする 2 つの圏 ── 射圏 (arrow category) ${\mathscr{C}}^{\rightarrow}$ と捩れ射圏 (twisted arrow category) ${\mathscr{C}}^{\leftarrow}$ ── が実際に圏になることの証明を行ったもので, 圏を定義する条件が具体的な圏ではどのような形になるのかがわかって面白い.
自分のような, 何かを理解することにとても時間がかかる者にとって, こういうことは実際に練習問題をやって初めて納得できるようになる.
明日, 証明を読み直して内容のチェックを行うつもり.
問題が無ければこの問題は終了である.

絵も, 現在描いている 2 枚どちらとも 8 割程度まで完成した.
最初に思い描いていたイメージとはかけ離れた絵になったが, あと少しでできあがる.

絵や数学を日々続けることに意味があるかどうかは別にして, 毎日続けていれば何らかの進展はある.
別にその進展で自分が変わるとか新しい視野が開けるとかいうことは特に無いみたいだ.
しかし進む.

夜はお笑いのライブを観に行った.
楽しかったが, 大勢の人の中にいたことで帰宅してから精神的な疲労が滲み出てきた.
ひとまず休む.