Category Theory for Programmers

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.

License: CC BY 4.0