simplicial type theory reading group

Meeting coordinates: in person at Dal (details TBD), with an online option.

We will study a type theory for synthetic ∞-categories, reviewing basic type theory and ∞-category theory and following it by the more recent paper Directed univalence in simplicial homotopy type theory .

We will alternate speakers for the seminar in the first few weeks, and eventually decide together on how to go over the paper.

• Sept ?? 26: Martin-Löf type theory. (daniel)
• Sept ??+7: homotopy type theory. (Deni)