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.