TITLE: 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 […]