a few more people I ought to thank
work on preliminaries section (add paragraph labels, write about slice categories)
Test diagrams files are boring
equivalence of Set/X and X -> Set