filmov
tv
Emily Riehl: On the ∞-topos semantics of homotopy type theory: All ∞-toposes have... - Lecture 3
Показать описание
HYBRID EVENT
Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France)
Filmmaker: Guillaume Hennenfent
Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France)
Filmmaker: Guillaume Hennenfent
1:33:59
1:21:56
1:40:58
0:49:45
1:24:31
0:00:38
0:14:36
1:25:43
0:56:34
1:40:10
0:58:16
0:45:28
0:32:33
0:05:07
0:50:44
1:53:51
0:01:06
1:28:08
1:10:40
1:44:13
1:07:14
0:01:30
0:02:12
0:38:15