Colloquium- Prof. Emily Riehl
Weber 223TITLE: Homotopy type theory and univalent foundations ABSTRACT: This talk will introduce alternative foundations for mathematics in which "equality" becomes "identity," which is no longer a mere predicate but can carry structure. The primitive notion is called a "type," which can be interpreted as something like a set, or as something like a mathematical proposition, […]