University of Minnesota Twin Cities PL Seminar

2024-03-27 Talk: Colimits in HoTT

March 27, 2024

Paper: Perry Hart. Colimits in Homotopy Type Theory. Preprint.
Speaker: Perry Hart
Location: Keller 2-225
Time: 10:00-11:00 am