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

3 時起床.

3 時起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
剛性の数学について述べられる.
正多面体に関する様々な工学上の剛性に関する発見と並行して, 純粋数学としてコーシーやセルバーグが貢献したということは初めて知った.
この事実に限ってのことではあるが, いかに抽象的であろうと数学と自然との関係に思いを馳せてしまう.

それから数学をやる.
圏論の教科書を読み進める.
Par$\acute{\textrm{e}}$ による "反変冪集合関手 (contravariant power set functor) $P : \mathbf{Set}^{\mathrm{op}}\rightarrow\mathbf{Set}$ はモナド的 (monadic) である" という定理とその証明を読む.
非常にきれいな定理である.
途中まで証明を読んで疲れてしまった.
続きは明日にして区切りを付ける.

朝食をとる.
納豆と卵かけご飯と味噌汁.

午前中は OpenBSD のアップグレード作業の続きなどを行う.

昼前に買い物に行く.
野菜や魚を買った.

何だか疲れた.
帰宅して少し休む.

夕方に食事.
貝の刺身盛り合わせと蕎麦と大根おろし.

片付けて布団に入る.