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

5 時半起床.

昨日からの鬱が苦しい. けれど踏ん張って起き上がる.
8 時から Emily Riehl の ∞-category theory に関する学生向けのトークセッションがあって, 申し込みをしている.
Emily Riehl は現在自分が読んでいる "Category Theory in Context の著者である.
何とか聴きたい.

コロナの影響で世界中がこういう状況だからネットの開催となり, 自分のような者でも参加できることになった. それ自体は有り難い.

トークセッションは HoTT (Homotopy Type Theory) を高次圏論の立場からわかりやすく話す内容だった.
論理学と幾何学とが圏論を媒介として結び付く, その理論への入口を示してくれたもので, 聞いていて興味が高まる. 面白い.
自分はまだ圏論の基礎を勉強している段階だが, こういう, その先にあるものを見せてくれると勉強する意識も高まる.

セッションが終わって, 昨日の続きの数学をやる. しかし集中できない.
急に鬱が苦しくなってくる.
こういうことは度々ある. 気持ちが昂った後に, その揺り戻しのように急激に気分が沈む.

寝込んでしまった.

頓服を飲んで起き上がり, 昼過ぎに食事をとる. 朝起きてご飯を炊いておいたのでそれを食べる.
ふりかけとご飯.

まだ夕方前だが再び寝込み, そのまま休む.