Program
Summer School: Introduction to Category Theory
The program of the Summer School consists of ten lectures by Jiri Adamek.
14.9. (Monday)
| 13.55 | - | 14:00 | Opening |
| 14.00 | - | 15.00 | Lecture 1: Motivation: Functions as first-class citizens. |
| 15.00 | - | 16.00 | Lecture 2: Categories. Examples, special objects and morphisms. |
| 16.00 | - | 16.30 | Refreshment |
15.9. (Tuesday)
| 8.30 | - | 9.30 | Lecture 3: Subobjects and Quotients. |
| 9.30 | - | 10.30 | Lecture 4: Functors and natural transformations. The category of all categories. |
| 10.30 | - | 11.00 | Refreshment |
| 11.00 | - | 12.00 | Lecture 5: Limits and colimits. |
| 12.00 | - | 14.00 | Lunch (on everyone's own) |
| 14.00 | - | 15.00 | Lecture 6: Yoneda lemma, functor categories, presheaves. |
| 15.00 | - | 16.00 | Lecture 7: Universal arrows and adjoint functors. |
| 16.00 | - | 16.30 | Refreshment |
| 16.30 | - | 17.00 | Workshop: Poster presentations |
16.9. (Wednesday)
| 8.30 | - | 9.30 | Lecture 8: Cartesian closed categories. Connections to logic. |
| 9.30 | - | 10.30 | Lecture 9: Adjoint Functor Theorems. |
| 10.30 | - | 11.00 | Refreshment |
| 11.00 | - | 12.00 | Lecture 10: Toposes and categorical foundations. |
| 12.00 | - | 14.00 | Lunch (on everyone's own) |
| 14.00 | - | 16.00 | Workshop: Short talks by students |
The participants may use the book Abstract and Concrete Categories, co-authored by
Professor Adámek, which is available at https://www.tu-braunschweig.de/iti/mitarbeiter/adamek/books.
