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

-1 時半起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
本文中でウィリアム・サーストンの文章が引用されている.
言い換えれば、数学が前進するにつれて、われわれはそれを自分たちの思考に組み込む。われわれの思考がより洗練されるにつれて、われわれは、新しい数学的概念と新しい数学的構造とを生成する。つまり、数学の主題は、われわれがいかに考えるかを反映して変化するのである。
この記述は, 数学が人間の思考の構造と深く関わっていることを述べている.
さらに言えば, 人間の思考の構造それ自体も数学の主題となり得ることまで示唆されているように受け取れる.

それから数学をやる.
教科書の練習問題を考える.
反射的部分圏 $\mathrm{D}\hookrightarrow\mathrm{C}$ と, それに伴う圏 $\mathrm{C}$ 上のモナド $T$ が与えられたとき, $T$-代数の圏 (Eilenberg-Moore 圏) および Kleisli 圏が $\mathrm{C}$ の反射的部分圏 (reflective subcategory) になっていることを示せという問題.
朝までかかって証明を書く.
そのあと, 代数の復習をする. イデアルに関する練習問題を解く.

午後からアルコール依存症の自助グループに行く.
天気が良かったので会場となっている教会まで歩いた. 50 分ほどで着く.
今日は参加人数が少なかったが, 静かな雰囲気でいいミーティングだった.

買い物をして帰宅.
疲れたので少し眠る.

夕方に食事.
鰹のたたきと大根おろしとご飯.

まだ明るいが布団に入る.