University COVID-19 update

The University of Waterloo is constantly updating our most Frequently Asked Questions.

Questions about buildings and services? Visit the list of Modified Services.

Please note: The University of Waterloo is closed for all events until further notice.

Events by date

Thursday, September 27, 2018

Thursday, September 27, 2018 — 3:00 PM EDT

John Dykes, Department of Pure Mathematics, University of Waterloo

"Putting the "Homotopy" in Homotopy Type Theory"

In this week's meeting of the Homotopy Type Theory Seminar, we begin by reviewing path induction. We then interpret Martin-Lof type theory in a homotopy-theoretic manner, viewing types as higher groupoids and functions as functors. We also discuss in detail how the notion of a homotopy between paths is related to identity types. Those who did not attend previous meetings are still encouraged to come!

MC 5413

Thursday, September 27, 2018 — 3:30 PM EDT

mi Jaoui, Department of Pure Mathematics, University of Waterloo

"Disintegration phenomena for planar algebraic vector fields"

In my talk, I will discuss some disintegration phenomena in the specific case of complex polynomial vector fields on the affine plane \mathbb{A}^2_\mathbb{C}.

S M T W T F S
26
27
28
29
30
31
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
1
2
3
4
5
6
  1. 2020 (76)
    1. September (2)
    2. August (1)
    3. July (5)
    4. June (1)
    5. May (3)
    6. March (16)
    7. February (26)
    8. January (22)
  2. 2019 (199)
    1. December (7)
    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)
  3. 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)
  4. 2017 (281)
  5. 2016 (335)
  6. 2015 (211)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)