dan christensen: "reasoning in an ∞-topos with homotopy type theory"
Published Streamed 3 years ago • 3K plays • Length 1:17:56Download video MP4
Download video MP3
Similar videos
-
1:19:41
michael shulman: "two-dimensional semantics of homotopy type theory"
-
2:37:00
foundations 7: dependent type theory
-
18:19
homotopy type theory: working invariantly in homotopy theory -guillaume brunerie
-
1:08:00
chris kapulkin: "cubical setting for discrete homotopy theory"
-
1:06:24
mike shulman type-theoretic model toposes
-
![[hott/uf 2021] ext groups in homotopy type theory](https://i.ytimg.com/vi/5bwe-RRETkA/mqdefault.jpg)
30:02
[hott/uf 2021] ext groups in homotopy type theory