acs-category-theory-notes-2017
Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
Download
Latest version
Building
Prerequisites: pdflatex, latexmk, make, git, and some common latex packages.
Then run
$ make
Contributing
- Make sure it compiles: use
make FLAGS='' to disable -quiet.
- Wrap text to 80 characters.
- Put each lecture in a branch and merge it will a pull request (preferably
after it's been checked over).