mike shulman type-theoretic model toposes
Published 4 years ago • 1.3K plays • Length 1:06:24Download video MP4
Download video MP3
Similar videos
-
1:19:41
michael shulman: "two-dimensional semantics of homotopy type theory"
-
1:20:02
mike shulman, type 2-theories
-
1:03:29
towards elementary infinity-toposes - michael shulman
-
14:30
inernal languages for higher toposes - michael shulman
-
1:17:56
dan christensen: "reasoning in an ∞-topos with homotopy type theory"
-
1:13:48
gluing in homotopy type theory - michael shulman
-
13:31
homotopy type theory discussed - computerphile
-
1:31:09
nonetheless one should learn the language of topos: grothendieck... - colin mclarty [2018]
-
7:47
homotopy type theory - an introduction to topology, formal logic, and hott #some3
-
51:25
grothendieck conference - mike shulman
-
1:18:32
mathzero, the classification problem, and set-theoretic type theory - david mcallester
-
1:00:05
michael shulman - geometric hott and comonadic modalities
-
1:46:20
semantics of higher inductive types - michael shulman
-
1:25:43
emily riehl, the synthetic theory of ∞-categories vs the synthetic theory of ∞-categories
-
1:29:09
toward higher inductive types - michael shulman
-
1:13:33
mike shulman: conservativity of duals
-
1:23:44
working group on univalent foundations - michael shulman
-
1:06:40
michael shulman - semantics of higher modalities
-
1:16:28
taichi uemura, ∞-type theories and internal language conjectures