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

午前 2 時半起床.

数学をやる. 半順序集合を圏として見たときに, その逆圏が何になるか. 元の圏としての半順序集合との関係はどうなるか, という問題を考えた.
かなり踏み込んで考えることができたが, 昼過ぎにちょっと頭が混乱したのでプールに出かけて泳いだ.
気持ちがいい.

帰りにスーパーに寄ったら鰹の刺身を安く売っていたのでサクの半分 (その大きさしか無かった) を買ってかえる.

数学で混乱した部分はあらためて整理してみたら正しそう.
明日, もう一度冷静になって考えてみる.

夕食は鰹の刺身, トマトと大葉のサラダと納豆とご飯.