/ps-category-theory-seminar-17

Exercise sheets for the Category theory seminar at the Programming Systems Lab, Saarland University, summer term 2017. https://courses.ps.uni-saarland.de/ct_ss17/

Primary LanguageTeX

You can find templates for the exercise sheets for phase 1 in sheets/basis-x. In sheets/basis-0 there is an example sheet that shows you how to create exercises and solutions.

All macros are in headers/definitions.tex. Please use the macros from this file and only add new ones if necessary.