Advanced methods in category theory
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| XP01CAT | ZK | 4 | 2+2 | Czech |
- Garant předmětu:
- Lecturer:
- Matěj Dostál
- Tutor:
- Matěj Dostál
- Supervisor:
- Department of Mathematics
- Synopsis:
-
This course focuses on selected advanced topics from category theory. The selection of topics will be tailored for the needs of the enrolled students.
Possible topics include:
(1) cartesian closed categories and their connection to type theory
(2) monads and their connection to universal algebra
(3) coalgebras and the notion of bisimulation
(4) dualities and dualizing objects
- Requirements:
-
Working knowledge of the basic concepts of category theory.
- Syllabus of lectures:
-
Possible topics include:
(1) cartesian closed categories and their connection to type theory
(2) monads and their connection to universal algebra
(3) coalgebras and the notion of bisimulation
(4) dualities and dualizing objects
- Syllabus of tutorials:
- Study Objective:
- Study materials:
-
1. G. M. Kelly: Basic Concepts of Enriched Category Theory, available online
2. J. Velebil: Categorical Methods in Universal Algebra, available online
3. R. L. Crole: Categories for Types, Cambridge University Press, 1994
- Note:
- Time-table for winter semester 2022/2023:
- Time-table is not available yet
- Time-table for summer semester 2022/2023:
-
06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Mon Tue Wed Thu Fri - The course is a part of the following study plans: