HoTT Lecture 4: Universes -- HoTTEST Summer School 2022
HoTTEST Summer School 2022 HoTT Lecture 4: Universes Ulrik Buchholtz Worksheet: https://github.com/martinescardo/HoTTEST-Summer-School/tree/main/HoTT/Works...
ЁЯФе Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Thailand under the topic 'р╕кр╕ар╕▓р╕Юр╕нр╕▓р╕Бр╕▓р╕и'.
About this video
HoTTEST Summer School 2022
HoTT Lecture 4: Universes
Ulrik Buchholtz
Worksheet:
https://github.com/martinescardo/HoTTEST-Summer-School/tree/main/HoTT/Worksheets/ws4.pdf
Course page:
https://uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html
FAQs:
(to be posted)
Timestamps:
0:00 Introduction
2:00 Motivating universes
7:03 Universes
27:13 Discussion
48:10 Examples
1:05:05 Curry Howard interpretation
1:23:30 Type-theoretic axiom of choice
Video Information
Views
2.0K
Total views since publication
Likes
34
User likes and reactions
Duration
01:30:22
Video length
Published
Jul 16, 2022
Release date
Quality
hd
Video definition