Advanced methods in category theory
| Code | Completion | Credits | Range | Language |
|---|---|---|---|---|
| XP01CAT | ZK | 4 | 2+2 | Czech |
- Garant předmětu:
- Lecturer:
- Tutor:
- 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:
- Further information:
- No time-table has been prepared for this course
- The course is a part of the following study plans: