Category Theory for Programmers [WIP]
This is an e-book version of Bartosz Milewski's Category Theory for Programmers work.
You can download the latest epub build here (the last chapter is Monads, Monoids, and Categories).
Roadmap
Part One
- Category: The Essence of Composition
- Types and Functions
- Categories Great and Small
- Kleisli Categories
- Products and Coproducts
- Simple Algebraic Data Types
- Functors
- Functoriality
- Function Types
- Natural Transformations
Part Two
- Declarative Programming
- Limits and Colimits
- Free Monoids
- Representable Functors
- The Yoneda Lemma
- Yoneda Embedding
Part Three
- It’s All About Morphisms
- Adjunctions
- Free/Forgetful Adjunctions
- Monads: Programmer’s Definition
- Monads and Effects
- Monads Categorically
- Comonads
- F-Algebras
- Algebras for Monads
- Ends and Coends
- Kan Extensions
- Enriched Categories
- Topoi
- Lawvere Theories
- Monads, Monoids, and Categories
Credits
This project is powered by pandoc, evangoer's pandoc-ebook-template and the CSS is somewhat based on Standard Ebooks.
All the credits go to the original author.
