0.25
0.5
0.75
1.25
1.5
1.75
2
What is an explicit bijection?
Published on Jul 22, 20191221 Views
Homotopy type theory is a foundation of mathematics that both expands and refines the classical foundations built on first-order logic and set theory. It accounts properly and formally for various asp
Related categories
Chapter list
What is an explicit bijection?00:00
What is an explicit bijection in combinatorics? - 101:12
What is an explicit bijection in combinatorics? - 202:26
An explicit bijection f - 103:35
An explicit bijection f - 203:57
An explicit bijection f - 304:43
FOL & ZFC - 106:55
FOL & ZFC - 208:27
Favorite fact of mine09:17
To construct an equilateral triangle09:36
First isomorphism theorem - 111:03
First isomorphism theorem - 312:29
First isomorphism theorem - 214:51
What would Euclid do?15:15
Type theory15:24
Type theoretic constructions17:20
Dependent type B over A21:56
Σ(x : A).B(x)24:24
Π(x : A).B(x)24:39
Where is logic? - 125:54
Where is logic? - 226:35
The Curry-Howard correspondence - 127:32
The Curry-Howard correspondence - 231:08
When we prove the existence of x32:00
Propositional truncation35:14
The Curry-Howard correspondence - 336:52
The Curry-Howard correspondence - 436:58
Equality type - 139:07
Equality type - 241:36
Some examples - 143:10
Some examples - 244:51
Explicit bijection 46:45
Non-explicit bijection48:26
Finite types - 149:22
Finite types - 250:05
Finite types - 351:35
Finite types - 452:15
Finite types - 553:21
Finite types - 653:39
Finite types - 754:33