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

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

You Might Also Like
Our Free Plans just got better! | Auth0 by Okta Icon
Our Free Plans just got better! | Auth0 by Okta

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your secuirty. Auth0 now, thank yourself later.
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