This is an unofficial PDF version of "Category Theory for Programmers" by Bartosz Milewski, converted from his blogpost series (with permission). Category Theory for Programmers was published 12 August, 2019. Based off release tag v1.3.0. See errata-1.3.0 for changes and fixes since print. Scala Edition is now available in paperback. Publish. Based off release tag v1.3.0. See errata-scala for changes and fixes since print. The best way to build the book is using the Nix package manager. After installing Nix, type nix-shell in the root directory of the project. This will download all the needed dependencies and tools to build the book (TeXLive, required fonts and packages, Pygments theme for syntax highligting, etc.).

Features

  • Use the Nix package manager to build the book
  • Learn about declarative programming
  • You can learn about products and coproducts
  • Learn everything about simple algebraic data types
  • Understand free and forgetful adjunctions
  • Learn all you need to know about monads, monoids, and categories

Project Samples

Category Theory for Programmers Screenshot 1

Project Activity

See All Activity >

Categories

Education

License

GNU General Public License version 3.0 (GPLv3)

Follow Category Theory for Programmers

Category Theory for Programmers Web Site

Other Useful Business Software
Auth for GenAI | Auth0 Icon
Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview
Try free now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Category Theory for Programmers!

Additional Project Details

Registered

2021-07-08
Report inappropriate content