Schedule

Except for supplementary handouts, all readings are in the course notes Basic Category Theory by Jaap van Oosten.

Lectures are given either by Lars Birkedal (LB) or by Thomas Hildebrandt (TH)

Note that lectures may cover material which is not in the notes, so the reading cannot replace class attendance.

The schedule is subject to change throughout the semester.

Date			Lecture	Lecturer	Reading	Homework Due

Tue	Sep	05	Categories and Functors	TH	Ch. 1
Tue	Sep	05	Natural Transformations and The Yoneda Lemma	TH	Ch. 2

Tue	Sep	12	Natural Transformations and The Yoneda Lemma	TH	Ch. 2
Tue	Sep	12	(Co)Cones and (Co)Limits	TH	Ch. 3	Assignment 1

Tue	Sep	19	(Co)Cones and (Co)Limits	TH	Ch. 3
Tue	Sep	19	Examples and Review	TH	Ch. 3	Assignment 2

Tue	Sep	26	Regular Categories	LB	Ch. 4.1
Tue	Sep	26	Logic of Regular Categories	LB	Ch. 4.2	Assignment 3

Tue	Oct	03	Completeness for regular logic	LB	Ch. 4.3-4.4
Tue	Oct	03	Examples of Regular Categories	LB	Ch. 4.5	Assignment 4

Tue	Oct	10	Adjunctions	TH	Ch. 5
Tue	Oct	10	Adjunctions	TH	Ch. 5	Assignment 5

Oct 16-22 Fall Break

Tue	Oct	24	Monads and Algebras	LB	Ch. 6
Tue	Oct	24	Monads and Algebras	LB	Ch. 6	Assignment 6

Tue	Oct	31	Cartesian Closed Categories	LB	Ch. 7.1
Tue	Oct	31	Lambda Calculus	LB	Ch. 7.2 Read 7.3 on your own	Assignment 7

Tue	Nov	07	Examples of CCCs (from 4.5 + presheaves)	TH	Ch. 4.5
Tue	Nov	07	Domains	TH	Ch. 8.1	Assignment 8

Tue	Nov	14	Untyped Lambda Calculus and Recursive Domain Equations	LB	Ch. 8.2
Tue	Nov	14	Untyped Lambda Calculus and Recursive Domain Equations	LB	Ch. 8.2	Assignment 9

Tue	Nov	21	Relating Theories of the Lambda Calculus	LB	Article by D. S. Scott
Tue	Nov	21	Relating Theories of the Lambda Calculus	LB	Article by D. S. Scott	Assignment 10

Nov 27 - Dec 22 Project Period

Tue	Oct	28				Assignment 11

???	Jan	??	Final Take-Home Exam