milewski-ctfp-pdf/README.md

Category Theory for Programmers
====
![image](https://user-images.githubusercontent.com/601206/43392303-f770d7be-93fb-11e8-8db8-b7e915b435ba.png)
<b>Direct link: [category-theory-for-programmers.pdf](https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v1.3.0/category-theory-for-programmers.pdf)</b>  
(Latest release: v1.3.0, August 2019. See [releases](https://github.com/hmemcpy/milewski-ctfp-pdf/releases) for additional formats and languages.)

[![Build Status](https://travis-ci.org/hmemcpy/milewski-ctfp-pdf.svg?branch=master)](https://travis-ci.org/hmemcpy/milewski-ctfp-pdf)  
[(latest CI build)](https://s3.amazonaws.com/milewski-ctfp-pdf/category-theory-for-programmers.pdf)

<img src="https://user-images.githubusercontent.com/601206/47271389-8eea0900-d581-11e8-8e81-5b932e336336.png"
 alt="Buy Category Theory for Programmers" width=410 />  
**[Available in full-color hardcover print](https://www.blurb.com/b/9621951-category-theory-for-programmers-new-edition-hardco)**  
Publish date: 12 August, 2019. Based off release tag [v1.3.0](https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v1.3.0). See [errata-1.3.0](errata-1.3.0.md) for changes and fixes since print.

**[Scala Edition is now available in paperback](https://www.blurb.com/b/9603882-category-theory-for-programmers-scala-edition-pape)**  
Publish date: 12 August, 2019. Based off release tag [v1.3.0](https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v1.3.0). See [errata-scala](errata-scala.md) 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](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/) (with permission!)

---

Conversion is done by scraping the blog with [Mercury Web Parser](https://mercury.postlight.com/web-parser/) to get a clean HTML content, modifying and tweaking with [Beautiful Soup](https://www.crummy.com/software/BeautifulSoup/), finally, converting to LaTeX with [Pandoc](https://pandoc.org/). See [scraper.py](https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/src/scraper.py) for additional information.

Please [report](https://github.com/hmemcpy/milewski-ctfp-pdf/issues) any formatting/content issues, or better yet, send a PR!

Building
--------

Chances for successful compilation are increased if you have almost complete installation of recent [TeX Live 2017](https://www.tug.org/texlive/) distribution (the PDF here is compiled with 2017 release). The needed OpenType fonts must be installed in the operating system. In addition, [pygments](http://pygments.org/) for Python must be installed as well.

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

```bash
$ make
```

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](http://creativecommons.org/licenses/by-sa/4.0/)).

The script files `scraper.py` and others are licensed under GNU General Public License version 3 (for details, see [LICENSE](https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/LICENSE)).
Update README.md 2018-07-30 13:26:01 +03:00			`Category Theory for Programmers`
Truncated history 2017-09-22 21:31:49 +03:00			`====`
Update README.md 2018-07-30 13:26:01 +03:00			`![image](https://user-images.githubusercontent.com/601206/43392303-f770d7be-93fb-11e8-8db8-b7e915b435ba.png)`
Update README.md 2019-08-13 00:27:24 +03:00			`<b>Direct link: [category-theory-for-programmers.pdf](https://github.com/hmemcpy/milewski-ctfp-pdf/releases/download/v1.3.0/category-theory-for-programmers.pdf)</b>`
			`(Latest release: v1.3.0, August 2019. See [releases](https://github.com/hmemcpy/milewski-ctfp-pdf/releases) for additional formats and languages.)`
Truncated history 2017-09-22 21:31:49 +03:00
Update README.md 2018-07-30 13:26:01 +03:00			`[![Build Status](https://travis-ci.org/hmemcpy/milewski-ctfp-pdf.svg?branch=master)](https://travis-ci.org/hmemcpy/milewski-ctfp-pdf)`
			`[(latest CI build)](https://s3.amazonaws.com/milewski-ctfp-pdf/category-theory-for-programmers.pdf)`

Adding purchase link 2018-10-21 22:39:22 +03:00			`<img src="https://user-images.githubusercontent.com/601206/47271389-8eea0900-d581-11e8-8e81-5b932e336336.png"`
			`alt="Buy Category Theory for Programmers" width=410 />`
Update README.md 2019-08-29 22:49:13 +03:00			`[Available in full-color hardcover print](https://www.blurb.com/b/9621951-category-theory-for-programmers-new-edition-hardco)`
			`Publish date: 12 August, 2019. Based off release tag [v1.3.0](https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v1.3.0). See [errata-1.3.0](errata-1.3.0.md) for changes and fixes since print.`
Adding purchase link 2018-10-21 22:39:22 +03:00
Update README.md 2019-08-13 00:27:24 +03:00			`[Scala Edition is now available in paperback](https://www.blurb.com/b/9603882-category-theory-for-programmers-scala-edition-pape)`
			`Publish date: 12 August, 2019. Based off release tag [v1.3.0](https://github.com/hmemcpy/milewski-ctfp-pdf/releases/tag/v1.3.0). See [errata-scala](errata-scala.md) for changes and fixes since print.`

Update README.md 2018-10-27 22:54:42 +03:00			`This is an unofficial PDF version of "Category Theory for Programmers" by Bartosz Milewski, converted from his [blogpost series](https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/) (with permission!)`
Adding more info in README 2017-09-22 22:30:47 +03:00
Adding build instructions 2017-10-01 09:22:44 +03:00			`---`

De-emphasized the scraper in readme 2017-09-25 22:40:34 +03:00			`Conversion is done by scraping the blog with [Mercury Web Parser](https://mercury.postlight.com/web-parser/) to get a clean HTML content, modifying and tweaking with [Beautiful Soup](https://www.crummy.com/software/BeautifulSoup/), finally, converting to LaTeX with [Pandoc](https://pandoc.org/). See [scraper.py](https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/src/scraper.py) for additional information.`
Truncated history 2017-09-22 21:31:49 +03:00
Adding build instructions 2017-10-01 09:22:44 +03:00			`Please [report](https://github.com/hmemcpy/milewski-ctfp-pdf/issues) any formatting/content issues, or better yet, send a PR!`

			`Building`
			`--------`

Update README.md 2018-09-20 11:06:25 +03:00			`Chances for successful compilation are increased if you have almost complete installation of recent [TeX Live 2017](https://www.tug.org/texlive/) distribution (the PDF here is compiled with 2017 release). The needed OpenType fonts must be installed in the operating system. In addition, [pygments](http://pygments.org/) for Python must be installed as well.`
Adding build instructions 2017-10-01 09:22:44 +03:00
			The `src` directory contains the LaTeX sources. To recompile the book, go there and enter:

			```bash
			`$ make`
			```

Update README.md 2018-09-20 11:06:25 +03:00			Upon successful compilation, the files will be placed in the `out` directory next to `src`.
Adding build instructions 2017-10-01 09:22:44 +03:00
Update README.md 2018-09-20 11:06:25 +03:00			The file `preamble.tex` contains all the configuration and style declarations.
First release! 2017-09-30 13:21:24 +03:00
Truncated history 2017-09-22 21:31:49 +03:00			`Acknowledgements`
			`----------------`

Adding build instructions 2017-10-01 09:22:44 +03:00			`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.`
Adding acknowledgments 2017-09-20 23:07:58 +03:00
Adding more contributors to readme 2018-03-31 13:48:55 +03:00			`Thanks to the following people for contributing corrections/conversions and misc:`
Adding acknowledgments 2017-09-20 23:07:58 +03:00
			`* Oleg Rakitskiy`
Adding more names to acknowledgments! 2017-10-18 11:00:38 +03:00			`* Jared Weakly`
			`* Paolo G. Giarrusso`
			`* Adi Shavit`
Adding thanks! 2018-09-14 00:14:40 +03:00			`* Mico Loretan`
Replace hand-drawn commutative diagrams with TeX (#99) * preamble: add diagram package tikz-cd Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * content/3.2: rewrite diagrams in tikz-cd Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * content/3.9: rewrite diagrams in tikz-cd Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * content/3.12: rewrite diagrams in tikz-cd Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * 3.12: fix typo, missing \ on cat Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * 3.12: adjust id.jpg size to improve pagination Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * 2.4: fix typo, missing \ on cat Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * content/3.12: use \id from category.tex instead of \rm{id} Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * content/3.14: rewrite diagrams in tikz-cd Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * content/3.12: correct \rho -> \lambda on commutative diagram Signed-off-by: Marcello Seri <marcello.seri@gmail.com> * README: add myself among the contributors Signed-off-by: Marcello Seri <marcello.seri@gmail.com> 2017-12-31 15:47:54 +03:00			`* Marcello Seri`
Adding more contributors to readme 2018-03-31 13:48:55 +03:00			`* Erwin Maruli Tua Pakpahan`
Thanks Markus Hauck for contributing the nix-based build! closes #125 2018-07-15 12:02:08 +03:00			`* Markus Hauck`
Adding thanks! 2018-09-14 00:14:40 +03:00			`* Yevheniy Zelenskyy`
Adding Ross Kirsling to contributors 2018-11-07 09:55:00 +03:00			`* Ross Kirsling`
Adding more names to acknowledgments! 2017-10-18 11:00:38 +03:00			`* ...and many others!`
Truncated history 2017-09-22 21:31:49 +03:00
Thank you note 2018-01-04 00:17:32 +03:00			`Note from Bartosz: I really appreciate all your contributions. You made this book much better than I could have imagined. Thank you!`

Truncated history 2017-09-22 21:31:49 +03:00			`License`
			`-------`

First release! 2017-09-30 13:21:24 +03:00			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](http://creativecommons.org/licenses/by-sa/4.0/)).
Adding more info in README 2017-09-22 22:30:47 +03:00
Updating readme 2017-10-16 21:36:25 +03:00			The script files `scraper.py` and others are licensed under GNU General Public License version 3 (for details, see [LICENSE](https://github.com/hmemcpy/milewski-ctfp-pdf/blob/master/LICENSE)).