mike shulman: conservativity of duals
Published 4 years ago • 667 plays • Length 1:13:33Download video MP4
Download video MP3
Similar videos
-
1:06:24
mike shulman type-theoretic model toposes
-
1:19:41
michael shulman: "two-dimensional semantics of homotopy type theory"
-
14:30
inernal languages for higher toposes - michael shulman
-
1:03:29
towards elementary infinity-toposes - michael shulman
-
1:23:44
working group on univalent foundations - michael shulman
-
51:25
grothendieck conference - mike shulman
-
1:15:32
strategic innovation, leadership and ambidexterity: michael l tushman
-
2:27:11
osmu talk 14 neil turok 18th september 2023
-
10:43
books for learning mathematics
-
1:27:55
michael shulman, the derivator of setoids
-
1:00:05
michael shulman - geometric hott and comonadic modalities
-
1:23:32
mike shulman: towards third-generation hott, part 1
-
1:29:09
toward higher inductive types - michael shulman
-
1:20:02
mike shulman, type 2-theories
-
1:46:20
semantics of higher inductive types - michael shulman
-
1:06:40
michael shulman - semantics of higher modalities
-
1:01:01
duality 1
-
1:13:38
subgroup tests and the aldous--lyons conjecture - michael chapman
-
20:12
categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic