Category Theory Project |
Fall 2001 Lars Birkedal |
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 | |||
|