Pokročilé metody teorie kategorií

Garant předmětu:

Přednášející:

Cvičící:

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

Další informace:

Pro tento předmět se rozvrh nepřipravuje

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