PhD Course in Category Theory
Title
PhD Reading course on Category Theory
Organizers
Lars Birkedal (LB), Rasmus Møgelberg (REM)
Will you create your own webside? Yes:
http://www.itu.dk/research/pls/wiki/index.php/Category-theory-Spring-2010
Format
Regular course with lectures offered (once a week for 2 hours) by the organizers and other members of the PLS research group.
Prerequisites
This course is targetted at beginning Ph.d. students / M.Sc. students.
Exam
Evaluation: To pass, one must have four written assignments approved.
Literature: Steve Awodey: Category Theory. [SA]
Dates of the course
Meetings: We meet Fridays at 14-16 at the ITU room 4A14.
- Below are the topics and a tentative plan.
| Week | Date | Teacher | Topic | Materials | Suggested exercises | Mandatory exercises |
|---|
| 01 | Fri 05 Feb | REM | Introduction to categories | [SA] Chapter 1 | 1.9.1, 1.9.2 | |
| 02 | Fri 12 Feb | LB | Abstract Structures | [SA] Chapter 2 | 2.9.(1,2,6) | |
| 03 | Fri 19 Feb | REM | Duality | [SA] Chapter 3 | 3.5.(1,4,5) | |
| 04 | Fri 26 Feb. OBS:10:00-12:00 | TH | Limits and colimits | [SA] Chapter 5 - 5.3 | | 1st assignment |
| 05 | Fri 05 Mar. OBS:10:00-12:00 | TH | Limits and colimits | [SA] rest of Chapter 5 | |
| 06 | Fri 12 Mar | Thamsborg | Exponentials | [SA] Chapter 6 | |
| 07 | Fri 19 Mar | KS | Functors and naturality | [SA] Chapter 7 | [1] |
| 08 | Fri 09 Apr | KS | Functors and naturality | [SA] Chapter 7 | | 2nd assignment |
| 09 | Fri 16 Apr (moved to April 20) | REM | Categories of diagrams | [SA] Chapter 8 | |
| 10 | Fri 23 Apr | REM | Adjoints | [SA] Chapter 9 | |
| 11 | Tue 27 Apr | REM | Adjoints | [SA] Chapter 9 | | 3rd assignment | |
| 12 | Tue 04 May | LB | Regular Logic | Notes | |
| 13 | Fri 14 May | | Canceled | | | 4th assignment | |
| 14 | Fri 21 May | REM | Monads | [SA] Chapter 10 | |
| 15 | Fri 28 May | SD | Reactive Systems | Milner, Leifer: Deriving Bisimulation Congruences for Reactive System | |