Github url

milewski-ctfp-pdf

by hmemcpy

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

7.6K Stars 386 Forks Last release: about 1 year ago (v1.3.0) GNU General Public License v3.0 291 Commits 21 Releases

Available items

No Items, yet!

The developer of this repository has not created any items for sale yet. Need a bug fixed? Help with integration? A different license? Create a request here:

Category Theory for Programmers

image Direct link: category-theory-for-programmers.pdf
(Latest release: v1.3.0, August 2019. See releases for additional formats and languages.)

Build Status
(latest CI build)

Buy Category Theory for Programmers
Available in full-color hardcover print
Publish date: 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 date: 12 August, 2019. Based off release tag v1.3.0. See errata-scala for changes and fixes since print.

This is an unofficial PDF version of "Category Theory for Programmers" by Bartosz Milewski, converted from his blogpost series (with permission!)


Building

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.)

When the download is complete, and you're prompted with a shell, use the instructions below to build the book.

The

src
directory contains the LaTeX sources. To recompile the book, go there and enter:
$ make

To build the Scala edition, type:

$ make scala

Upon successful compilation, the files will be placed in the

out
directory next to
src
.

The file

preamble.tex
contains all the configuration and style declarations.

Acknowledgements

PDF LaTeX source and the tools to create it are based on the work by Andres Raba et al., available here: https://github.com/sarabander/sicp-pdf.
The book content is taken, with permission, from Bartosz Milewski's blogpost series, and adapted to the LaTeX format.

Thanks to the following people for contributing corrections/conversions and misc:

  • Oleg Rakitskiy
  • Jared Weakly
  • Paolo G. Giarrusso
  • Adi Shavit
  • Mico Loretan
  • Marcello Seri
  • Erwin Maruli Tua Pakpahan
  • Markus Hauck
  • Yevheniy Zelenskyy
  • Ross Kirsling
  • ...and many others!

Note from Bartosz: I really appreciate all your contributions. You made this book much better than I could have imagined. Thank you!

License

The PDF book,

.tex
files, and associated images and figures in directories
src/fig
and
src/content
are licensed under Creative Commons Attribution-ShareAlike 4.0 International License (cc by-sa).

The script files

scraper.py
and others are licensed under GNU General Public License version 3 (for details, see LICENSE).

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.