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

抑鬱感と疲労感がやや強い.

昨日の夕方の鬱は, おそらく買い物先のスーパーでの雰囲気で体調を崩した結果だと思う.
周囲の人たちが買い物をしているのについていけなかった.
買い物をする途中で, 他の人の邪魔をしてはいけない, 迷惑をかけてはいけないという思いで必死になってしまった.

昼過ぎに頓服を飲んで何とか起きる.

午後は数学をやって過ごす.
圏の骨格の問題は見直しが終わって修正も終わったので証明を印刷してしまっておく.
日が経ったらまた見直す. 紙で見直すと違った視点で読めるので何か見逃した問題が見つかる可能性がある.

先日クリニックの待ち合い室で書き始めた新しい問題を考える. 今度の問題は圏の連結性に関するもの.

---

圏は, その圏の任意の対象から任意の対象まで, "結合可能 (composable)" な射の経路を前後に辿って到達できるとき 連結 (connected) であると言う. この定義を正確に行って, 任意の圏は互いに交わらない連結な部分圏の和として一意的に表わされることを証明せよ.

---

解いているとこの問題はトポロジーの問題のように感じる.

夕食は冷奴と焼き鮭, ほうれん草のお浸し, 納豆とご飯.

夕食後に数学の続きを少しやって休む.