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    


[ Category Theory Home | Schedule | Projects ]

Lars Birkedal
birkedal@it-c.dk