以下のセミナーに参加するには，公式discordサーバーへ参加してください．
月一∞圏セミナー HP
6/16 Derivator入門1 中村大河
7/7 Derivator入門2 中村大河
10/5 Algebraic weak factorisation system (and algebraic higher category theory) 星野 恵佑
12/1 Introduction to Homotopy Type Theory Yuto Arai, December 1.