Pokročilé metody teorie kategorií

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á

Předmět je součástí následujících studijních plánů: