jnhu76 / category_theory

category-theory

category_theory

TOC

Part One: 1-10

Part Two: 11-16

Part Three:

1. Category: The Essence of Composition

   • Arrows as Functions
   • Properties of Composition
   • Composition is the Essence of Programming
   • Challenges

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. Limit and Colimits

13. Free Monoids

14. Representable Functors

15. The Yoneda Lemma

16. Yoneda Embedding

17. It's All About Morphisms

18. Adjunctions

19. Free/Forgetfun Adjunctions

20. Monads: Programmer's Definition

21. Monads and Effects

22. Monads Categorically

23. Commands

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