Why Categorical Aspects of Type Theory Matter
Channel: Favonia
Date: 05/05/2020

CSCI 8980 Higher-Dimensional Type Theory
https://favonia.org/courses/hdtt2020/