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

• [x] Category: The Essence of Composition
• [x] Types and Functions
• [x] Categories Great and Small
• [x] Kleisli Categories
• [x] Products and Coproducts
• [x] Simple Algebraic Data Types
• [x] Functors
• [x] Functoriality
• [x] Function Types
• [x] Natural Transformations

Part Two

• [x] Declarative Programming
• [x] Limits and Colimits
• [x] Free Monoids
• [x] Representable Functors
• [x] The Yoneda Lemma
• [x] Yoneda Embedding

Part Three

• [x] It’s All About Morphisms
• [x] Adjunctions
• [x] Free/Forgetful Adjunctions
• [x] Monads: Programmer’s Definition
• [x] Monads and Effects
• [x] Monads Categorically
• [x] Comonads
• [x] F-Algebras
• [x] Algebras for Monads
• [x] Ends and Coends
• [x] Kan Extensions
• [x] Enriched Categories
• [x] Topoi
• [x] Lawvere Theories
• [x] 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.