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.

Homotopy Type Theory SeminarExport this event to calendar

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

Andrej Vukovic, Department of Pure Mathematics, University of Waterloo

"Recursion and Induction"

In this week's meeting of the Homotopy Type Theory Seminar, we begin with a review of dependent types. We discuss certain examples of types that arise "in nature" and introduce recursion and path induction. We also examine propositional logic from the point of view of homotopy type theory. Those who did not attend previous meetings are still encouraged to come!

MC 5413

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
  1. 2020 (69)
    1. July (1)
    2. June (1)
    3. May (3)
    4. March (16)
    5. February (26)
    6. 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)
  4. 2017 (281)
  5. 2016 (335)
  6. 2015 (211)
  7. 2014 (235)
  8. 2013 (251)
  9. 2012 (135)