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

Teorie kategorií

Přihlášení do KOSu pro zápis předmětu Zobrazit rozvrh
Kód Zakončení Kredity Rozsah Jazyk výuky
NI-TKA Z,ZK 4 2P+1C česky
Přednášející:
Jan Starý (gar.)
Cvičící:
Jan Starý (gar.)
Předmět zajišťuje:
katedra aplikované matematiky
Anotace:

Úvod do teorie kategorií, s důrazem na aplikace v teoretické informatice

Požadavky:

Základní kurz algebry a diskrétní matematiky.

Osnova přednášek:

1. Motivace a úvod; objekty a morfismy. Mono- a epimorfismy.

2. Funktory, přirozené transformace a ekvivalence.

3. Kategoriální dualita, reflexe a koreflexe.

4. Produkty, sumy, ekvalizéry. Diagramy a limity. Úplné kategorie.

5. Kartézsky uzavřené kategorie. Eval.

Osnova cvičení:

1. Motivace a úvod; objekty a morfismy. Mono- a epimorfismy.

2. Funktory, přirozené transformace a ekvivalence.

3. Kategoriální dualita, reflexe a koreflexe.

4. Produkty, sumy, ekvalizéry. Diagramy a limity. Úplné kategorie.

5. Kartézsky uzavřené kategorie. Eval.

Cíle studia:

Popsat základy teorie kategorií v rozsahu, který umožňuje použití jazyka kategorií v teoretické informatice.

Studijní materiály:

A. Asperti, G. Longo, Categories, Types and Structures

M. A. Arbib, E. G. Manes, The Categorial Imperative

H. Herrlich, G. E. Strecker, Category Theory

B. C. Pierce, Basic Category Theory for Computer Scientists

Poznámka:
Další informace:
http://courses.fit.cvut.cz/NI-TKA/
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 TH:A-942
Starý J.
11:00–12:30
LICHÝ TÝDEN

(přednášková par. 1
paralelka 101)

Thákurova 7 (FSv-budova A)
místnost TH:A-942
Starý J.
12:45–14:15
(přednášková par. 1)
Thákurova 7 (FSv-budova A)
Předmět je součástí následujících studijních plánů:
Platnost dat k 29. 1. 2023
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet6281606.html