On directed homotopy type theory:
Denis-Charles Cisinski, Hoang Kim Nguyen, Tashi Walde: Univalent Directed Type Theory, lecture series in the CMU Homotopy Type Theory Seminar (13, 20, 27 Mar 2023) [web, video 1:YT, 2:YT, 3:YT; slides 0:pdf, 1:pdf, 2:pdf, 3:pdf]
Denis-Charles Cisinski, Bastiaan Cnossen, Hoang Kim Nguyen, Tashi Walde, Synthetic Category Theory, work in progress (2025) [pdf]
Last revised on January 3, 2026 at 02:57:06. See the history of this page for a list of all contributions to it.