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

3 時起床.

数学をやる.
射の合同 (arrow congruence) から商圏 (quotient category) を導く練習問題をやっていて半分くらいまでできた.
しかし, 議論が煩雑になっている.
圏 $\mathscr{C}$ の射の集合 $\mathrm{Ar}(\mathscr{C})$ 上の任意の関係 $R$ が一意的な射の合同を生成することを証明する部分の議論が散らかっていてどうしようもない.
見通しが悪いし, 余計なことをやり過ぎているという気もする.

今日は作業療法で絵を描きに行くので弁当を作る.
海苔弁当でおかずはソーセージを焼いたもの, キャベツのスパイス炒め, 目玉焼き, 浅漬け.

行きの電車の中で朝の続きの問題を考えていたら何となく見通しがよくなった.
問題の枠組みを一般化して考えてみたらかなりすっきりと議論ができるようになった.
最初から一般的な視点で考えれば良かったのだが, なぜかできなかった.
こういうことはしょっちゅうある.

こっちのやり方で最初から解き直すことにした.

今日は絵に集中できた.
先日の苦しい時に描いたように滅茶苦茶な描き方ではなくゆっくり細かい部分を仕上げていく.
しかし何だか絵にパワーが無いような気がする.
どうして.

帰りの電車で, 行きに思い付いたやり方であらためて問題を解き始めたが途中で眠ってしまった.

絵を描いて精神的に疲れていたのだと思う.