hmemcpy / milewski-ctfp-pdf

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

Category Theory For Programmers

An unofficial PDF version of "Category Theory For Programmers" by Bartosz Milewski, converted from his blogpost series (with permission!).

Buy the book

• Standard edition 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 in paperback
  • Publish date: 12 August, 2019.
  • Based off release tag v1.3.0. See errata-scala for changes and fixes since print.

Build the book

The building workflow requires Nix. After installing Nix, you need to enable the upcoming "flake" feature which must be enabled manually the time being. This is needed to expose the new Nix commands and flakes support that are hidden behind feature-flags.

Afterwards, type nix flake show in the root directory of the project to see all the available versions of this book. Then type nix build .#<edition> to build the edition you want (Haskell, Scala, OCaml, Reason and their printed versions). For example, to build the Scala edition you'll have to type nix build .#ctfp-scala.

Upon successful compilation, the PDF file will be placed in the result directory.

The command nix develop will provide a shell containing all the required dependencies to build the book manually using the provided Makefile. To build the ctfp-scala edition, just run make ctfp-scala.

Contribute

Contributors are welcome to contribute to this book by sending pull-requests. Once reviewed, the changes are merged in the main branch and will be incorporated in the next release.

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

Find the list of contributors on Github.

Acknowledgements

PDF LaTeX source and the tools to create it are based on the work by Andres Raba. The book content is taken, with permission, from Bartosz Milewski's blogpost series, and adapted to the LaTeX format.

The original blog post acknowledgments by Bartosz are consolidated in the Acknowledgments page at the end of the book.

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.

The script files scraper.py and others are licensed under GNU General Public License version 3.

milewski-ctfp-pdf's Issues

6. Simple Algebraic Data Types

Broken external link

In chapter 11 "Declarative Programming", there is a link to "Tatsuya Hagino’s thesis". This link is broken. Furthermore, this should really be a bibliographic reference, not just an external link. I suspect that there are other examples of both of those problems scattered throughout the book.

The link URL is:

http://synrc.com/publications/cat/Category%20Theory/Type%20Theory/Hagino%20T.%20A%20Categorical%20Programming%20Language.pdf

Add contributing guidelines

Also, reflect contributors in the readme.md file

Colophon

Write a short description of how this book was put together

Reformat images

Removed unneeded fbox where applicable (images with white backgrounds)
Also, wrap images inline with text where makes sense.

10. Natural Transformations

4. Monads: Programmer’s Definition

3. Free/Forgetful Adjunctions

12. Enriched Categories

Fix \circ everywhere

Currently the symbol for white bullet ◦ is used everywhere instead of ring operator ∘, because it won't render properly in PDF without using \ensuremath.

epub/mobi/html5 version

Tried to do this myself. Failed miserably :)
Could not get pandoc to work - it did not include any of the subfiles, although according to this issue, they should be supported. Perhaps the problem is with the directory layout?

7. Functors

The Preface

3. Categories Great and Small

2. Types and Functions

Resolved by #1

4. Kleisli Categories

Fun Cover

Someone made a printable-on-demand Lulu version.
They made a fun cover image - maybe use that for the digital version too:

10. Ends and Coends

1. Declarative Programming

Fix punctuation

Single/double quotes, dashes (em/en dashes), etc.

6. Yoneda Embedding

Generate epub and mobi versions

Provide mobi and epub version

• https://tex.stackexchange.com/q/1551
• https://tex.stackexchange.com/q/16569

Correctly set up subfiles

See https://www.sharelatex.com/learn/Multi-file_LaTeX_projects

This might help with pandoc/epub conversions (#46)

13. Topoi

1. It’s All About Morphisms

15. Monads, Monoids, and Categories

Use proper Category Theory LaTeX syntax

See https://www.andrew.cmu.edu/user/ulrikb/80-413-713/documents/LaTeX_howto.pdf for reference

2. Limits and Colimits

11. Kan Extensions

3. Free Monoids

7. Comonads

2. Adjunctions

14. Lawvere Theories

8. Functoriality

Cover picture

Perhaps @BartoszMilewski could provide one?

6. Monads Categorically

1. Category: The Essence of Composition

Create TOC

Period missing

tures invading imperative languages. Even Java, the bastion of object-
oriented programming, let the lambdas in C++ has recently been evolv-

5. Monads and Effects

9. Function Types

Include video material links in the PDF

Set up PDF build in Travis CI

https://harshjv.github.io/blog/setup-latex-pdf-build-using-travis-ci/

Make sure all the prerequisites (e.g., fonts) are installed

5. Products and Coproducts

Format formulas and math symbols accordingly

9. Algebras for Monads

8. F-Algebras

4. Representable Functors

5. The Yoneda Lemma

Include links to the original posts in footnotes/end of chapter

Does this provide any value?