Category Theory 
Fall 2000 Lars Birkedal and Thomas Hildebrandt 
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.34.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 1622 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 TakeHome Exam  
