theory functors

Pick anything below and it plays in the bar at the foot of the window — and keeps playing while you go on browsing the directory.

1. 1▶Category Theory 8.1: Function objects, exponentialsCategory TheoryNotes
   +Watch later
2. 2▶Category Theory 7.2: Monoidal Categories, Functoriality of ADTs, ProfunctorsCategory TheoryNotes
   +Watch later
3. 3▶Category Theory 7.1: Functoriality, bifunctorsCategory TheoryNotes
   +Watch later
4. 4▶Category Theory 6.2: Functors in programmingCategory TheoryNotes
   +Watch later
5. 5▶Category Theory 6.1: FunctorsCategory TheoryNotes
   +Watch later
6. 6▶Category Theory 5.2: Algebraic data typesCategory TheoryNotes
   +Watch later
7. 7▶Category Theory 5.1: Coproducts, sum typesCategory TheoryNotes
   +Watch later
8. 8▶Category Theory 4.2: ProductsCategory TheoryNotes
   +Watch later
9. 9▶Category Theory 4.1: Terminal and initial objectsCategory TheoryNotes
   +Watch later
10. 10▶Category Theory 3.2: Kleisli categoryCategory TheoryNotes
    +Watch later