Category theory: a framework for reasoning
Class field theory seminar 2015-01-31 MC 5403 Speaker: Michael Baker Video courtesy of Amanda Chan ~mlbaker/w15
46 views
0
0
3 years ago
00:10:53
661
Category Theory. 圏論で数学の“あたりまえ“を知ろう!
10 years ago
01:56:45
46
Category theory: a framework for reasoning
10 years ago
01:36:54
11
Category Theory by Tom LaGatta
4 years ago
00:53:00
0
Foundations 2: Category Theory
4 years ago
00:43:04
0
Category Theory 9.2: bicategories
5 years ago
01:19:41
23
Category Theory Foundations, Lecture 1
9 years ago
01:03:14
4
Category Theory, The essence of interface-based design - Erik Meijer
2 years ago
01:15:29
7
Category Theory 10.1: Monads
4 years ago
00:34:49
0
Category Theory 4.2: Products
4 years ago
01:12:37
1
Category Theory For Beginners: Universal Properties
4 years ago
00:54:10
0
Category Theory 6.1: Functors
3 years ago
00:09:26
62
27 Unhelpful Facts About Category Theory
4 years ago
00:45:25
0
Category Theory 8.1: Function objects, exponentials
4 years ago
00:33:47
2
Category Theory For Beginners: Everyday Language
4 years ago
00:48:26
0
Category Theory II 1.2: Limits
4 years ago
01:23:34
1
Category Theory For Beginners: Limits
4 years ago
00:57:56
2
Category Theory For Beginners: Introduction
4 years ago
00:40:53
0
Category Theory For Beginners: Knowledge Representation
4 years ago
00:55:58
0
Category Theory For Beginners: Products
1 year ago
00:36:17
0
Category Theory II 1.1: Declarative vs Imperative Approach
4 years ago
00:46:14
0
Category Theory 2.1: Functions, epimorphisms
4 years ago
00:19:01
0
Category Theory For Beginners: Mind Map
4 years ago
01:11:43
1
Category Theory For Beginners: Natural Transformations
4 years ago
00:24:34
0
Category Theory 2.2: Monomorphisms, simple types
Back to Top