Homotopy Type SeminarExport this event to calendar

Thursday, November 15, 2018 3:00 PM EST
Andrej Vukovic, Pure Math Department, University of Waterloo
 
"Univalence Implies Function Extensionality"
 
Since we did not get around to it last time, in this week's meeting of the Homotopy Type Theory Seminar, we prove that univalence implies function extensionality.
 
MC 5413

«

October 2023

»
S M T W T F S
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
4
  1. 2023 (286)
    1. October (13)
    2. September (27)
    3. August (17)
    4. July (26)
    5. June (36)
    6. May (35)
    7. April (21)
    8. March (51)
    9. February (33)
    10. January (27)
  2. 2022 (179)
    1. December (8)
    2. November (31)
    3. October (24)
    4. September (17)
    5. August (9)
    6. July (15)
    7. June (14)
    8. May (13)
    9. April (14)
    10. March (15)
    11. February (12)
    12. January (7)
  3. 2021 (135)
  4. 2020 (103)
  5. 2019 (199)
  6. 2018 (212)
  7. 2017 (281)
  8. 2016 (335)
  9. 2015 (211)
  10. 2014 (234)
  11. 2013 (249)
  12. 2012 (134)