Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2022/2023
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

Advanced methods in category theory

Login to KOS for course enrollment Display time-table
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
roomJP:B1-515
Dostál M.
11:45–13:30
(lecture parallel1)
Jugoslávských partyzánů 3
K13101 seminární velká
roomJP:B1-515
Dostál M.
13:30–15:15
(lecture parallel1
parallel nr.101)

Jugoslávských partyzánů 3
K13101 seminární velká
Fri
The course is a part of the following study plans:
Data valid to 2023-06-08
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet2691006.html