bennn/pierce-categories

Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.

pierce-categories

Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce. If you see any mistakes, please let me know.

How to Build

1. Install the packages listed in ./package.tex.

• tikz comes from : https://ctan.org/pkg/pgf?lang=en
• mathpartir comes from : http://cristal.inria.fr/~remy/latex/
• good luck

2. cd to a folder with exercises
3. Run pdflatex <FILE.tex>

• for example cd ./1/; pdflatex 1-10.tex and open 1-10.pdf