Undergraduate thesis

Source code for my undergraduate thesis in higher category theory.

Based on a template provided by the School of Informatics at the University of Edinburgh.

To compile, run

$ latexmk -pdf thesis.tex