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

Pokročilé metody teorie kategorií

Předmět není vypsán Nerozvrhuje se
Kód Zakončení Kredity Rozsah Jazyk výuky
XP01CAT ZK 4 2+2 česky
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ů:
Platnost dat k 16. 6. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet2691006.html