basic category theory
This document explores category theory from a mathematical perspective, focusing on basics, while providing examples in computer science.
For pure category theory it covers:
- Definitions of categories, functors, and natural transformations
- Monads
- Yoneda lemma
- Kan extensions
For computer science applications it covers:
- Correspondence between category theory and Haskell
- Monads for splitting construction and execution