evan patterson: "a short introduction to categorical logic"
Published 3 years ago • 5.4K plays • Length 23:00Download video MP4
Download video MP3
Similar videos
-
57:02
evan patterson (topos inst.): toward formalizing scientific theories/models using categorical logic
-
50:31
evan patterson: double-categorical databases and knowledge representation
-
1:20:08
introduction to categorical logic - 2
-
1:16:38
introduction to categorical logic - 3
-
4:08
introduction to categorical logic
-
1:12:12
evan patterson: the algebra of statistical theories and models
-
1:09:41
berkeley seminar: evan patterson, products in double categories, revisited (4/8/2024)
-
58:58
berkeley seminar: evan patterson, 9/25/23
-
32:16
category theory for neuroscience (pure math to combat scientific stagnation)
-
14:07
cantor's infinity paradox | set theory
-
24:18
paradox is the ultimate truth
-
2:02
toposes - "nice places to do math"
-
20:12
categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic
-
51:53
evan patterson: domain specific logics for scientific modeling theory and practice
-
10:32
what is category theory?
-
59:34
evan patterson: (co)relational computing in catlab: the operad of uwds and its algebras