Thursday, October 25, 2018

Thursday, October 25, 2018 — 3:00 PM EDT

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

Thursday, October 25, 2018 — 3:00 PM EDT

Daniel Perales, Department of Pure Mathematics, University of Waterloo

"Random matrices, interlacing families of polynomials, and the expected characteristic polynomial"

Thursday, October 25, 2018 — 4:00 PM EDT

John Sawatzky, Department of Pure Mathematics, University of Waterloo

"The Banach-Tarski Paradox"

S M T W T F S
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
  1. 2019 (197)
    1. December (5)
    2. November (26)
    3. October (19)
    4. September (13)
    5. August (7)
    6. July (12)
    7. June (18)
    8. May (22)
    9. April (11)
    10. March (25)
    11. February (17)
    12. January (22)
  2. 2018 (219)
    1. December (2)
    2. November (32)
    3. October (27)
    4. September (26)
    5. August (4)
    6. July (9)
    7. June (13)
    8. May (17)
    9. April (13)
    10. March (28)
    11. February (27)
    12. January (21)
  3. 2017 (281)
  4. 2016 (335)
  5. 2015 (209)
  6. 2014 (235)
  7. 2013 (251)
  8. 2012 (135)