What do we mean by "equal"

What do we mean by "equal" - Pierre Deligne

Pierre Deligne
Professor Emeritus, School of Mathematics
September 11, 2018

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.