Seminars & Colloquia Calendar
The Univalent Foundations through UniMath and some combinatorial problems
Dimitrios Tsementzis, Rutgers University
Location: Hill 705
Date & time: Thursday, 22 March 2018 at 5:00PM - 5:48PM
Abstract: The Univalent Foundations is a proposed foundation for mathematics in which the basic objects are spaces, rather than sets. I will introduce the basic ideas of the Univalent Foundations, explain how they are implemented in a computer using a formal system called UniMath, and discuss certain combinatorial problems that arise in this context that might be of interest to experimentalists.