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/
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.
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/