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

0 時半起床.

本を読む.
シモーヌ・ヴェイユ『重力と恩寵』から「不可能」の節.
あらためて気付くが, シモーヌ・ヴェイユは人間が考えたり想像したりする行為に対して, 驚くほど低い評価しか与えていない.
相当に厳しい.

それから数学をやる.
一般随伴関手定理 (General Adjoint Functor Theorem) が述べられる.
以前読んでいて難しくて読むのを中断した Barr / Wells, "Toposes, Triples and Theories" では Freyd の随伴関手定理として紹介されていた大きな定理である.
Barr / Wells の本の証明は非常に難しく感じたのだが, 現在読んでいる教科書 (Emily Riehl, "Category Theory in Context") では, 証明がいくつかの補題に分割され, 概念的にもかなり整理されている.
何とか理解したい.

朝までやって区切りを付ける.

午前中は郵便局に行って役所に提出する書類を投函する.
書類の準備のために, コンビニに行ってプリントサービスを利用したりしたので思ったより時間がかかる.

銀行へ行って一週間分の生活費をおろす.

買い物に行く.
野菜や魚を買う.

疲れた.
帰宅して少し休む.

午後も数学をやる.
群論の復習で, 正規部分群に関する練習問題を考える.

夕方に食事.
鰹のたたきと卵かけご飯.

夜はアルコール依存症の自助グループに行く.
今日のテーマは「匿名性」.
自助グループのミーティングでは, 自分の恥ずかしい部分や惨めな過去を話すが, それをできるのは自分の場合, 匿名で参加しているということが背景にあるのは確かである.

疲れていたためか, 途中で眠くなってしまう.

帰宅してそのまま布団に入る.