Category Theory Project Fall 2001
Lars Birkedal

Schedule

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

The schedule is subject to change throughout the semester.

The schedule below is from the previous version of the category theory course and will be updated later on.

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