(video series, Topology and Category Theory and Type Theory guy!! (awesome guy!))
Vid 1
- Terminal Objects, Initial Objects
- What they are in
Vid 3h
- Categorical (and Set) Products
- Categorical Co-Products (Sums)
(video series, Topology and Category Theory and Type Theory guy!! (awesome guy!))