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

6 時半起床.
もう少し早い時間に起きたかったが, 寝坊してしまった.
まだ体に眠剤が残っていてふらふらする.

今日はクリニックに行って薬をもらってこないといけない.

朝食をとらずに家を出る.
上着をはおらずに出たが, 外は結構寒い.

朝一番に受け付けを済ませる.
30 分ほど待って診察室に呼ばれた.

主治医に, 眠剤が効き過ぎて翌日の昼や午後まで眠ってしまうことについて相談した.
眠れたのはいいこと, と言われる.
眠れないよりも眠れることが大切だ, と.

引き続き同じ眠剤を出してもらうことにする.

買い物をして昼過ぎに帰宅.

昼食をとる.
鶏もも肉ともやし炒め.

少し横になって休む.
クリニックに行くと, いつも待ち合い室の雰囲気で精神的に疲れてしまう.

夕方に起きて数学をやる.
圏論の教科書を読み進める.

Stone-$\check{\mathrm{C}}$ech のコンパクト化と関連する話題が出てきたが内容を忘れている.
以前のノートを見て復習する.
Stone-$\check{\mathrm{C}}$eck のコンパクト化 は, 位相空間の圏 $\mathbf{Top}$ からコンパクトハウスドルフ空間の圏 $\mathbf{cHaus}$
への関手 $\beta : \mathbf{Top} \rightarrow \mathbf{cHaus}$ であって任意の位相空間 $X$ に対してコンパクトハウスドルフ空間 $\beta(X)$ を導くようなものである. これは, 包含関手 $\mathbf{cHaus}\hookrightarrow\mathbf{Top}$ に対する左随伴関手になっている.

夜は外のラーメン屋に行く.
オロチョンラーメン.
辛くて美味しい. 体が温まる.

帰宅して眠剤を飲んで布団に入る.