This is the schedule of what I'm aiming to cover when.  This is likely to change as it goes along.  Actual material covered will be in straight text after the event; intended material will be in italics until the class has occurred.

Class 1	3/1/06	Introduction, overview, basic definitions
Class 2	5/1/06	Universal properties
Class 3	10/1/06	Functors, natural transformations
Class 4	12/1/06	Representability, Yoneda
Class 5	17/1/06	Limits and colimits: definition and examples of small limits
Class 6	19/1/06	Limits and colimits: limits in set, limits from products and equalisers, colimits
Class 7	24/1/06	Limits and colimits: preservation, reflection, creation, how to compute limits of functors viz pointwise (we didn't do interchange).  - Example sheet 1 available in ps or pdf.
Class 8	26/1/06	Adjunctions: basic definitions, examples
Class 9	31/1/06	Adjunctions
Class 10	2/2/06	Adjoint functor theorems
Class 11	7/2/06	A bit more on AFTs, leading to Kan extensions
Class 12	9/2/06	Ends an coends, leading to pointwise Kan extensions, density, every presheaf is a colimit of representables
Class 13	14/2/06	Monads and their algebras - Example sheet 2 available in ps or pdf.
Class 14	16/2/06	Category of algebras (Eilenberg-Moore construction), comparison functor, Monadicity
Class 15	21/2/06	Monadicity theorems
Class 16	23/2/06	Monoidal categories, bicategories, coherence
Class 17	28/2/06	Monoidal categories with structure, logic
Class 18	2/3/06	Enrichment and internalisation, n-categories - Example sheet 3 available in ps or pdf.
Class 19	7/3/06	Double categories, 2-groups and crossed modules (Tom Fiore)
Class 20	9/3/06	Model categories (Tom Fiore)