Exam

The final take-home exam is now available here. It has two small typos. A revised version is here.

Assignments

Assignment	Out	Due
Assignment 1	Tu Sep 05	Tu Sep 12
Assignment 2	Tu Sep 12	Tu Sep 19
Assignment 3	Tu Sep 19	Tu Sep 26
Assignment 4	Tu Sep 26	Tu Oct 03
Assignment 5	Tu Oct 03	Tu Oct 10
Assignment 6	Tu Oct 10	Tu Oct 24
Assignment 7	Tu Oct 24	Tu Oct 31
Assignment 8	Tu Oct 31	Tu Nov 07
Assignment 9	Tu Nov 07	Tu Nov 14
Assignment 10	Tu Nov 14	Tu Nov 21
Assignment 11	Tu Nov 21	Tu Nov 28

Hints

In assignment 1, P(X) stands for the powerset of X, that is, the set of all subsets of X. Note that P(X) can be viewed as poset (a partially ordered set); the order is subset inclusion. That is, for U,V in P(X), U is less than or equal to V iff U is included in or equal to V. The category of posets is denoted Pos in the course notes.

[ Category Theory Home | Schedule | Assignments | Notes | Projects ]

Lars Birkedal

birkedal@it-c.dk