Notes on Category Theory For Programmers

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.

Name		Name	Last commit message	Last commit date
challenges/pt1_Category_The_Essence_of_Composition		challenges/pt1_Category_The_Essence_of_Composition
Coproducts, Algebraic Data Types.pdf		Coproducts, Algebraic Data Types.pdf
Examples of Categories, Orders, Monoids.pdf		Examples of Categories, Orders, Monoids.pdf
Functions, Epimorphisms.pdf		Functions, Epimorphisms.pdf
Functors.pdf		Functors.pdf
Introduction.pdf		Introduction.pdf
README.md		README.md
Terminal and Initial Objects, Products.pdf		Terminal and Initial Objects, Products.pdf

Navigation Menu