| Organizers: | Lars Birkedal, birkedal@itu.dk, Room 4C 15, 7218 5280 | Carsten Butz, butz@itu.dk, Room 4C 14, 7218 5274 |
This is a Ph.D. seminar in which we study selected topics in categorical logic. It follows several semesters seminars in topos theory, but we do not assume familiarity with all the material covered in those (to allow new students to participate).
The main goal of the seminar this Spring is to get an understanding of selected topics in the area of categorical logic and type theory. We will cover equilogical spaces (incl. dependent type theory), topological completeness of the lambda calculus, internal category theory, and parametric domain-theoretic models of the second-order lambda calculus. The seminar starts on Friday February 11, 2 PM - 4 PM.
Readings will include (excerpts from some of):
To gain credit for this 7.5 ECTS seminar you have to participate actively in the discussions. Moreover, you have to take responsibility for at least one topic, stretching usually over more than a week.
Meeting time: We meet on Fridays, 14:00--16:00, Room 4A.14.
Participants:
TENTATIVE Schedule:
| Date | Speaker | Reading | ||
|---|---|---|---|---|
| Fri | Feb | 11 | LB | [3] (bonus: [1,2]) |
| Fri | Feb | 18 | NTS | [3] (bonus: [1,2]) |
| Fri | Feb | 25 | BB | [3] (bonus: [1,2]) |
| Fri | Mar | 04 | LB | DTT: Ch. 10 in [8] |
| Fri | Mar | 11 | LB | DTT: Ch. 10 in [8] |
| Fri | Mar | 18 | SD | DTT in Equ: App A in [1] |
| Thu | Apr | 01 | CB | [4] |
| Fri | Apr | 08 | CB | [4,5] |
| Fri | Apr | 15 | REM | APL-structures |
| Fri | Apr | 22 | REM | APL, completion, internal cats |
| Fri | Apr | 29 | REM | LAPL |
| Fri | May | 06 | REM | LAPL |
| Fri | May | 20 | RLP | LAPL model |