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

2 時半起床.

本を読む.
イアン・ハッキング『数学はなぜ哲学の問題になるのか』.
数の定義にはいろいろな形式があるが, それらは同値ではない (論理学的には, という意味だろうか?).
数学的プラトニズムでは, これを異なる数の体系が存在すると考えるのではなく, それらの形式の奥に存在する数学的対象としての数の異なる表現と考えるとのこと.

それから数学をやる.
圏論の教科書を読み進める.
関手 $U : \mathrm{A}\rightarrow\mathrm{C}$ がモナド的 (monadic) ならば, $U$ は同型射 (isomorphism) を反映するという補題の証明を読む.

朝までやって区切りを付ける.
証明を追い切れなかった. 続きは明日にする.

食事をとる.
キャベツと目玉焼きとコーヒー.

早い時間にクリニックに行く.
外は寒い.

朝一番で受け付けを済ませる.

診察を受けて, 薬を出してもらって, 昼前にクリニックを出ることができた.
いつものことだが, 精神的に疲れた.

買い物をして帰宅.

横になって休む.
少し眠る.

夜に起きて近所のラーメン屋に行く.
塩ラーメンを注文. 美味しい.

長く感じられる一日だった.
眠剤と頓服を飲んで休む.