1Q62日目

6/6(日) 晴れ

12時過ぎに起きた。夜ふかししてしまったので起きるのが遅い。

午後のゼミに少し遅刻して参加する羽目になった。この日記は6/7にしかもスマホで書いてるから詳細書くのが面倒だから書かない。∞-categoryが位相空間と圏の良い中間物になってるというお気持ちを読んだ。中間にするためにsimplicial setに移してる。

終わってからは少し放置していたセミナーの本の続きを読んでリジッド解析空間の定義とちょっとしたことについて見た。