How I became seduced by univalent foundations

  Рет қаралды 5,586

Fields Institute

Fields Institute

Жыл бұрын

Speaker: Emily Riehl, Johns Hopkins University
Date: October 18th, 2022
Abstract: www.fields.utoronto.ca/talks/H...
Part of the "2022 Fields Medal Symposium: Akshay Venkatesh": www.fields.utoronto.ca/activit...

Пікірлер
Varieties of Mathematical Understanding
54:56
Varieties of Mathematical Understanding
Fields Institute
Рет қаралды 1,8 М.
Intensionality, Invariance, and Univalence, Steve Awodey
56:52
Intensionality, Invariance, and Univalence, Steve Awodey
Copernicus
Рет қаралды 3,6 М.
ИНДИСКИЙ КИНОЛАР | bayGUYS | 38 шығарылым
27:33
ИНДИСКИЙ КИНОЛАР | bayGUYS | 38 шығарылым
bayGUYS
Рет қаралды 538 М.
I Built a Shelter House For myself and Сat🐱📦🏠
00:35
I Built a Shelter House For myself and Сat🐱📦🏠
TooTool
Рет қаралды 36 МЛН
АККУРАТНЫЙ ТИМ😂😂 Ролик на канале Аня Ищук🥹 #аняищук #димасблог #anyaischuk
00:20
АККУРАТНЫЙ ТИМ😂😂 Ролик на канале Аня Ищук🥹 #аняищук #димасблог #anyaischuk
Anyaischuk LIVE
Рет қаралды 12 МЛН
骗人最终害人害己！#斗罗大陆 #唐舞桐与唐老六 #小舞 #唐舞桐 #唐三 #唐老六
00:34
骗人最终害人害己！#斗罗大陆 #唐舞桐与唐老六 #小舞 #唐舞桐 #唐三 #唐老六
唐舞桐与唐老六
Рет қаралды 40 МЛН
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
56:34
What is Category Theory in mathematics? Johns Hopkins' Dr. Emily Riehl explains
Johns Hopkins University
Рет қаралды 38 М.
Univalent foundations and the equivalence principle - Benedikt Ahrens
1:01:13
Univalent foundations and the equivalence principle - Benedikt Ahrens
Institute for Advanced Study
Рет қаралды 1,9 М.
Class 9: Nothing Has A Probability
28:10
Class 9: Nothing Has A Probability
William M Briggs : Statistician to the Stars!
Рет қаралды 2,2 М.
What A General Diagonal Argument Looks Like (Category Theory)
36:10
What A General Diagonal Argument Looks Like (Category Theory)
Thricery
Рет қаралды 75 М.
ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)
1:06:57
ACT 2020 Tutorial: The Yoneda lemma in the category of matrices (Emily Riehl)
Applied Category Theory
Рет қаралды 12 М.
3 01 A Functional Programmer's Guide to Homotopy Type Theory
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
ICFP Video
Рет қаралды 24 М.
Univalent Foundations Seminar - Steve Awodey
55:41
Univalent Foundations Seminar - Steve Awodey
Institute for Advanced Study
Рет қаралды 6 М.
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
1:25:20
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
OPLSS
Рет қаралды 17 М.
∞-Category Theory for Undergraduates
1:53:51
∞-Category Theory for Undergraduates
Emily Riehl
Рет қаралды 38 М.
Fields Medal Symposium 2021: Jared Weinstein introduces Perfectoid Spaces
17:58
Fields Medal Symposium 2021: Jared Weinstein introduces Perfectoid Spaces
Fields Institute
Рет қаралды 10 М.
ИНДИСКИЙ КИНОЛАР | bayGUYS | 38 шығарылым
27:33
ИНДИСКИЙ КИНОЛАР | bayGUYS | 38 шығарылым
bayGUYS
Рет қаралды 538 М.