emily riehl: formalizing ∞-category theory in the rzk proof assistant
Published 5 months ago • 671 plays • Length 58:42Download video MP4
Download video MP3
Similar videos
-
38:15
emily riehl: formalizing post-rigorous mathematics
-
56:34
what is category theory in mathematics? johns hopkins' dr. emily riehl explains
-
1:09:38
nikolai kudasov, rzk proof assistant and simplicial hott formalization
-
1:24:31
emily riehl: "contractibility as uniqueness"
-
1:07:14
"∞-category theory for undergraduates", talk by emily riehl at cqts @ nyu abu dhabi, december 2023
-
1:53:51
∞-category theory for undergraduates
-
1:25:43
emily riehl, the synthetic theory of ∞-categories vs the synthetic theory of ∞-categories
-
1:16:51
emily riehl on topology, categories, and the future of mathematics
-
4:34
what do mathematicians eat for breakfast?
-
24:44
mathematician explains infinity in 5 levels of difficulty | wired
-
1:28:08
emily riehl | feb 16, 2021 | elements of ∞-category theory
-
1:05:09
the synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - emily riehl
-
32:33
contractibility as uniqueness - emily riehl
-
1:30:33
hott lecture 7: the fundamental theorem of identity types -- hottest summer school 2022
-
1:31:53
hott lecture 9: function extensionality -- hottest summer school 2022
-
1:09:58
peter dybjer: intuitionistic type theory (lecture iii)
-
26:50
arthur pander maat: the eilenberg-watts theorem and morita theory for c*-categories
-
59:18
partition regularity of squares - oleksiy klurman (university of bristol)