Skip to content

onlurking/category-theory-for-programmers

Repository files navigation

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.

License: CC BY 4.0