Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2023/2024

Advanced methods in category theory

The course is not on the list Without time-table
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:
Data valid to 2024-06-17
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet2691006.html