act 2020 tutorial: introduction to applied category theory (david spivak)
Published 4 years ago • 7.1K plays • Length 38:32Download video MP4
Download video MP3
Similar videos
-
55:48
act 2020 tutorial: introduction to string diagrams (fabrizio genovese)
-
50:47
applied category theory. chapter 4, lecture 1 (spivak)
-
50:57
applied category theory. chapter 5, lecture 1 (spivak)
-
1:30:15
act 2020 industry showcase
-
1:33:34
substructural type theory - zeilberger
-
10:32
what is category theory?
-
59:44
david spivak: microservices operad/the free monad monad is a module over the cofree comonad comonad
-
50:49
applied category theory. chapter 7, lecture 1 (spivak)
-
51:24
applied category theory. chapter 6, lecture 1 (spivak)
-
53:15
applied category theory. chapter 3, lecture 1 (spivak)
-
1:06:57
act 2020 tutorial: monads and comonads (paolo perrone)
-
50:45
applied category theory. chapter 1, lecture 1 (spivak)