| Organizers: | Lars Birkedal, birkedal@it-c.dk, Room 2.21, 3816 8868 | Carsten Butz, butz@it-c.dk, Room 1.17, 3816 8820 |
This is a Ph.D. seminar in which we study aspects of topos theory relevant to computer science. This semester we plan to continue reading and discussing material from Peter Johnstone's opus: Sketches of an Elephant: A Topos Theory Compendium. In the schedule below, readings refer to Johnstone's books.
Meeting time: We meet on Fridays, 14:00--15:30, Room 2.03 (except January 10: Room 2.55; February 7: Room 2.31, March 7: Room 2.55).
Schedule:
| Date | Speaker | Reading | ||
|---|---|---|---|---|
| Fri | Jan | 10 | CB | A.4.2: Surjections and Inclusions |
| Fri | Jan | 17 | LB | A.4.3: Cartesian Reflectors and Sheaves |
| Fri | Jan | 24 | LB | A.4.3: Cartesian Reflectors and Sheaves |
| Fri | Jan | 31 | VS | A.4.4: Local Operators |
| Fri | Feb | 07 | VS | A.4.4: Local Operators |
| Fri | Feb | 14 | REM | A.4.5 (pages 204--211, incl. 4.5.9): Examples of Local Operators |
| Fri | Feb | 21 | REM | A.4.5 (pages 211--217, incl. 4.5.16): Examples of Local Operators |
| Fri | Feb | 28 | LB | A.4.5 (pages 217--223): Examples of Local Operators |
| Fri | Mar | 07 | CB | A.4.6: The hyperconnected-localic factorization |
| Fri | Apr | 11 | LB | Tripos Theory |
| Fri | Apr | 25 | PH | Triposes and Completions |
| Fri | May | 09 | LB | The Dialectica Topos |
| Fri | May | 23 | CB | Categories of Classes |
| Fri | Jun | 06 | CB | Categories of Classes |
| Mon | Jun | 16 | IR | Completions of categories of classes |