Vladimir Voevodsky Memorial Conference
What do we mean by "equal"
Abstract: In the univalent foundation formalism, equality makes sense only between objects of the same type, and is itself a type. We will explain that this is closer to mathematical practice than the Zermelo-Fraenkel notion of equality is.
Date & Time
September 11, 2018 | 11:30am – 12:30pm
Location
Wolfensohn HallSpeakers
Affiliation
Professor Emeritus, School of Mathematics