Contact Info
Pure MathematicsUniversity of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
Andrej Vukovic, Department of Pure Mathematics, University of Waterloo
"Univalence"
In this week's meeting of the homotopy type theory seminar, we begin by reviewing homotopy equivalence and the transport map. We then discuss dependent pair and function types in the context of homotopy theory and introduce function extensionality. Finally, we formalize the univalence axiom with the type-theoretic notion of homotopy equivalence.
MC 5413
Daniel Perales, Department of Pure Mathematics, University of Waterloo
"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"
John Sawatzky, Department of Pure Mathematics, University of Waterloo
"The Banach-Tarski Paradox"
Departmental office: MC 5304
Phone: 519 888 4567 x43484
Fax: 519 725 0160
Email: puremath@uwaterloo.ca
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.