eilenberg-mac lane spaces in hott - daniel licata
Published 8 years ago • 643 plays • Length 1:30:05Download video MP4
Download video MP3
Similar videos
-
59:39
a computer-checked proof that the fundamental group of the circle is the integers - daniel licata
-
1:38
get up close with the secret, microscopic world of cells | mashable
-
14:28
what are...eilenberg-maclane spaces?
-
3:01
calculate a star's distance using parallax
-
1:12:36
toward a computational interpretation of univalence - daniel licata
-
55:56
univalence from a computer science point-of-view - dan licata
-
55:54
the mathematical work of vladimir voevodsky - dan grayson
-
![an intuitive introduction to motivic homotopy theory - vladimir voevodsky [2002]](https://i.ytimg.com/vi/E3steS2Hr1Y/mqdefault.jpg)
35:18
an intuitive introduction to motivic homotopy theory - vladimir voevodsky [2002]
-
1:28:36
homotopy group - (1)dan licata, (2)guillaume brunerie, (3)peter lumsdaine
-
18:07
waldo: a private time-series database from function secret-sharing
-
2:05
02417 lecture 12 part e: acf with missing data
-
1:35:12
lindelöf σ -spaces in 2022
-
9:03
measuring the intrinsic dimension of objective landscapes
-
0:33
an observer views the space shuttle from distance of x from the launch pad r mi express the height …
-
1:17
mapping cortical cell types
-
7:32
02417 lecture 13 part f: outlook to more advanced topics: nonlinear models
-
lecture: vivian loftness
-
10:07
what a nice limit!
-
10:52
fusion temperature: importance of quantum tunnelling