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
Affiliation
Professor Emeritus, School of Mathematics