Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2022/2023

Pokročilé metody teorie kategorií

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
XP01CAT ZK 4 2+2 česky
Garant předmětu:
Přednášející:
Matěj Dostál
Cvičící:
Matěj Dostál
Předmět zajišťuje:
katedra matematiky
Anotace:

Tento kurz se zaměřuje na vybraná pokročilá témata z teorie kategorií. Výběr témat bude přizpůsoben potřebám zapsaných studentů.

Mezi možná témata patří:

(1) kartézsky uzavřené kategorie a jejich souvislost s teorií typů.

(2) monády a jejich souvislost s univerzální algebrou

(3) koalgebry a pojem bisimulace

(4) duality a dualisující objekty

Požadavky:

Znalost základních pojmů teorie kategorií

Osnova přednášek:

Mezi možná probraná témata patří:

(1) kartézsky uzavřené kategorie a jejich souvislost s teorií typů.

(2) monády a jejich souvislost s univerzální algebrou

(3) koalgebry a pojem bisimulace

(4) duality a dualisující objekty

Osnova cvičení:
Cíle studia:
Studijní materiály:

1. G. M. Kelly: Basic Concepts of Enriched Category Theory, dostupné online

2. J. Velebil: Categorical Methods in Universal Algebra, dostupné online

3. R. L. Crole: Categories for Types, Cambridge University Press, 1994

Poznámka:

plánované otevření B131 nebo B132

Rozvrh na zimní semestr 2022/2023:
Rozvrh není připraven
Rozvrh na letní semestr 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
Po
Út
St
Čt
místnost JP:B1-515
Dostál M.
11:45–13:30
(přednášková par. 1)
Jugoslávských partyzánů 3
K13101 seminární velká
místnost JP:B1-515
Dostál M.
13:30–15:15
(přednášková par. 1
paralelka 101)

Jugoslávských partyzánů 3
K13101 seminární velká

Předmět je součástí následujících studijních plánů:
Platnost dat k 26. 9. 2023
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet2691006.html