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

6 時起床.

午前中は洗濯をする.
それ以外の時間はずっと休んでいた.

午後は Riehl の教科書 を読む.
圏の具体例を復習する.
グラフの圏 (category of simple graphs) についてよく理解していない部分があったので nLab の記事 であらためて勉強した.
もう少し調べてみたい.

夕食は鶏肉生姜焼きととろろご飯.

ここ数日眠りが浅い. ぐっすり眠りたい.
歯を磨いて布団に入る.