what is category theory?
Published 1 year ago • 54K plays • Length 10:32Download video MP4
Download video MP3
Similar videos
-
1:16:46
asgar jamneshan: "topos theory and measurability"
-
52:00
what are we tracking? how applied category theory puts thinking on rails
-
1:44:20
tutorial on category theory: part 1 – pure and classical
-
23:00
evan patterson: "a short introduction to categorical logic"
-
26:20
a sensible introduction to category theory
-
41:25
tutorial on category theory: part 2 – applied
-
1:24:40
john cartmell: "aspects of a mathematical theory of data"
-
1:16:05
kevin buzzard: "what is the point of lean's maths library?"
-
51:49
the joy of abstract mathematical thinking - with eugenia cheng
-
46:25
programming with categories - lecture 0
-
56:59
david spivak: where poly's structure comes from
-
1:03:00
paolo perrone: "the rise of quantitative category theory"
-
1:01:30
david corfield: "philosophical perspectives on category theory"
-
2:02
toposes - "nice places to do math"
-
50:45
applied category theory. chapter 1, lecture 1 (spivak)
-
1:24:31
emily riehl: "contractibility as uniqueness"
-
58:10
applied category theory. chapter 7, lecture 2 (fong)
-
53:15
applied category theory. chapter 3, lecture 1 (spivak)
-
1:40:10
riehl, bradley, cheng, dancstep, and lugg: "category theory outreach panel"
-
50:49
applied category theory. chapter 7, lecture 1 (spivak)
-
1:10:51
jonathan weinberger: a type theory for (∞,1)-categories