Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Go to file
2017-09-24 22:56:13 +03:00
src Chapter 1.9 - Function Types + tweaks 2017-09-24 22:56:13 +03:00
.gitignore Adding ‘minted’ for syntax highlighting 2017-09-22 21:32:03 +03:00
ctfp.pdf Chapter 1.9 - Function Types + tweaks 2017-09-24 22:56:13 +03:00
README.md Adding more info in README 2017-09-22 22:35:38 +03:00

Category Theory for Programmers

Category Theory for Programmers

Note: this is a work in progress! Please report any formatting/content issues!

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.

Conversion is done by scraping the blog with Mercury Web Parser to get a clean HTML content, modifying and tweaking with Beautiful Soup, finally, converting to LaTeX with Pandoc.

See scraper.py for additional information.

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, .tex/.texi 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, 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).