Talk page
Title:
What do we mean by "equal"
Speaker:
Abstract:
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.
Link: