Category Theory for Programmers

1. category-the-essence-of-composition
2. types-and-functions
3. categories-great-and-small
4. kleisli-categories
5. products-and-coproducts
6. simple-algebraic-data-types
7. functors
8. functoriality
9. function-types
10. natural-transformations
11. declarative-programming
12. limits-and-colimits
13. free-monoids
14. representable-functors
15. the-yoneda-lemma
16. yoneda-embedding
17. its-all-about-morphisms
18. adjuctions
19. freeforgetful-adjunctions
20. monads-programmers-definition
21. monads-and-effects
22. monads-categorically
23. comonads
24. f-algebras
25. algebras-for-monads
26. ends-and-coends
27. kan-extensions
28. enriched-categories
29. topoi
30. lawvere-theories
31. monads-monoids-and-categories