Foundations

(video series, Topology and Category Theory and Type Theory guy!! (awesome guy!))

to-process

Vid 1

• Terminal Objects, Initial Objects
  • What they are in $\text{Set}$

Vid 3h

• Categorical (and Set) Products
• Categorical Co-Products (Sums)