Category Theory, exercise course, Fall 2013

Information about the lectures can be found on a different page.

The first exercise course will take place on Thursday 12 September, 8:45-10:30, in lecture hall HG01.057.

Exercises

You can either email your answers to r.furber at cs.ru.nl or put them in Robert Furber's postbox on the north side of the second floor of the Huygensgebouw. It is inside a white cabinet with its back to the stairs, opposite the photocopier.
  1. Exercises week 1 Exercises about (iso)morphisms (to be handed in on 19/9, before 18:00).
  2. Exercises week 2 Exercises about epis and monos and functors (to be handed in on 26/9, before 18:00).
  3. Exercises week 3 Exercises about (co)products (to be handed in on 3/10, before 18:00).
  4. Exercises week 4 Exercises about products and equalisers (to be handed in on 10/10, before 18:00).
  5. Exercises week 5 Exercises about pullbacks (to be handed in on 17/10, before 18:00).
  6. Exercises week 6 Exercises about pullbacks, distributivity and exponentials (to be handed in on 24/10, before 18:00).
  7. Exercises week 7 Exercises about cartesian closed categories and natural transformations (to be handed in on 14/11, before 18:00).
  8. Exercises week 8 Exercises about functors, natural transformations and equivalences of categories (to be handed in on 28/11, before 18:00). There will be no exercise course on Thursday 21 November.
  9. Exercises week 9 Exercises about the Yoneda lemma and presheaves (to be handed in on 5/12, before 18:00).
  10. Exercises week 10 Exercises about adjunctions (to be handed in on 12/12, before 18:00).
  11. Exercises week 11 More exercises about adjunctions (to be handed in on 19/12, before 18:00).
  12. Exercises week 12 Exercises about adjoints and monads (to be handed in on 09/01, before 18:00).
  13. Exercises week 13 Exercises about F-algebras (to be handed in on 16/01, before 18:00).
  14. Old exam Old exam (to be handed in on 20/01, before 18:00).

Making commutative diagrams in Latex

The easiest way to make commutative diagrams in Latex is to use the xy-pic package. You can download the user guide here or visit the homepage.