Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Go to file
2017-09-22 21:32:06 +03:00
src Adding raw scraped blog content, stripped with Mercury and converted to LaTeX with pypandoc 2017-09-22 21:32:06 +03:00
.gitignore Adding ‘minted’ for syntax highlighting 2017-09-22 21:32:03 +03:00
ctfp.pdf Added chapter: Types and Functions 2017-09-22 21:32:05 +03:00
README.md Update README.md 2017-09-22 21:32:04 +03:00

Category Theory for Programmers

Note: this is a work in progress!

Direct link: category-theory-for-programmers.pdf

This is an unofficial PDF version of "Category Theory for Programmers" by Bartosz Milewski, converted from his blogpost series.

Acknowledgements

PDF 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 Texinfo/LaTeX format.

Thanks to the following people for contributing corrections/conversions:

  • Oleg Rakitskiy

License

The PDF book, .texi files, and diagrams in directory src/fig are licensed under Creative Commons Attribution-ShareAlike 4.0 International License (cc by-sa).

The script files ex-fig-ref.pl, survey.rb, and texi-to-latex.pl are licensed under GNU General Public License version 3 (for details, see src/LICENSE).