nima rasekh - every elementary higher topos has a natural number object
Published 3 years ago • 275 plays • Length 25:04Download video MP4
Download video MP3
Similar videos
-
1:26:13
nima rasekh, algebraic topology in an elementary higher topos
-
9:55
nima rasekh research summary 2022
-
1:07:33
nima rasekh, filter products and elementary models of homotopy type theory
-
1:18:06
daniel bennequin - topos and information
-
1:19:29
olivia caramello - 1/4 introduction to categorical logic, classifying toposes...
-
1:31:09
nonetheless one should learn the language of topos: grothendieck... - colin mclarty [2018]
-
14:30
inernal languages for higher toposes - michael shulman
-
4:04
mas rrh@libris official opening