Exercises Seven Sketches in Compositionality were suggested in the course of ETCH Zurich. They have solutions at the end of the book too, so one can self-check.