Notes on Category Theory For Programmers

by Bartosz Milewski

The course is a free lecture series on YouTube
Also check out Milewski's Basics of Haskell
And his online book: Category Theory for Programmers

Notes	Video	Challenges
Introduction	https://www.youtube.com/watch?v=I8LbkfSSR58&index=1&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_	https://github.com/jaybutera/Category-Theory-Notes/tree/master/challenges/pt1_Category_The_Essence_of_Composition
Functions, Epimorphisms	https://www.youtube.com/watch?v=O2lZkr-aAqk&index=3&list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
Examples of Categories, Orders, Monoids	https://www.youtube.com/watch?v=aZjhqkD6k6w
Terminal and Initial Objects, Products	https://www.youtube.com/watch?v=zer1aFgj4aU
Coproducts, Algebraic Data Types	https://www.youtube.com/watch?v=LkIRsNj9T-8
Functors	https://www.youtube.com/watch?v=FyoQjkwsy7o

---

Contributions to challenges are welcome and encouraged!
If you have issue with the notes, raise an issue and I'll work to fix it.