Logo ČVUT
ČESKÉ VYSOKÉ UČENÍ TECHNICKÉ V PRAZE
STUDIJNÍ PLÁNY
2023/2024
UPOZORNĚNÍ: Jsou dostupné studijní plány pro následující akademický rok.

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
Garant předmětu:
Jan Starý
Přednášející:
Jan Starý
Cvičící:
Jan Starý
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 2023/2024:
Rozvrh není připraven
Rozvrh na letní semestr 2023/2024:
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.
09:15–10:45
(přednášková par. 1)
Thákurova 7 (budova FSv)
místnost TH:A-942
Starý J.
11:00–12:30
SUDÝ TÝDEN

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

Thákurova 7 (budova FSv)
Předmět je součástí následujících studijních plánů:
Platnost dat k 27. 5. 2024
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/cs/predmet6281606.html