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
$300 Free Credits for Your Google Cloud Projects Icon
$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Start Free Trial
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