Základy teorie kategorií pro informatiky - NMAI065
Anglický název: Fundamentals of Category Theory for Computer Scientists
Zajišťuje: Katedra aplikované matematiky (32-KAM)
Fakulta: Matematicko-fyzikální fakulta
Platnost: od 2017
Semestr: zimní
E-Kredity: 3
Rozsah, examinace: zimní s.:2/0, Zk [HT]
Počet míst: neomezen
Minimální obsazenost: neomezen
4EU+: ne
Virtuální mobilita / počet míst pro virtuální mobilitu: ne
Stav předmětu: vyučován
Jazyk výuky: čeština
Způsob výuky: prezenční
Garant: prof. RNDr. Aleš Pultr, DrSc.
Vyučující: prof. RNDr. Aleš Pultr, DrSc.
Třída: Informatika Mgr. - Diskrétní modely a algoritmy
Kategorizace předmětu: Informatika > Diskrétní matematika
Prerekvizity : NMAI064
Výsledky anket   Termíny zkoušek   Rozvrh ZS   Nástěnka   
Anotace -
Základní pojmy teorie kategorií: kategorie, funktory, transformace. Kategoriální konstrukce, zejména limity a kolimity. Adjunkce a zachování (ko)limit. Monády, popis algeber, Kleisliho kategorie.
Poslední úprava: T_KAM (24.03.2004)
Podmínky zakončení předmětu -

Ústní zkouška.

Poslední úprava: Kynčl Jan, doc. Mgr., Ph.D. (04.06.2019)
Literatura -

S. MacLane, Categories for Working Mathematician, Springer 1989.

Appendix on categories in Picado-Pultr:Frames and Locales

Poslední úprava: Pultr Aleš, prof. RNDr., DrSc. (11.10.2017)
Požadavky ke zkoušce -

Základní pojmy. Kategorie a funktory, příklady. Přirozené transformace a přirozené ekvivalence, příklady.

Meze, limity a kolimity. Speciální (ko)limity. Úplné kategorie a věty o úplnosti.

Adjungované funktory. Reflektivní a koreflektivní podkategorie. Popis adjunkce pomocí adjunkčních jednotek. Adjunkce a zachování limit či kolimit. Věta o existenci adjunktu.

Yonedovo lemma.

Monády. Monády a adjunkce. Popisy algebraických struktur (Eilenberg - Moorovy algebry). Kleisliho kategorie; poznámky o roli v informatice.

Poslední úprava: Pultr Aleš, prof. RNDr., DrSc. (11.06.2019)
Sylabus -

Základní pojmy. Kategorie a funktory, příklady. Přirozené transformace a přirozené ekvivalence, příklady. Speciální morfismy.

Základní kategorialní konstrukce. Faktorisace. Obraz morfismu. Meze, limity a kolimity. Speciální (ko)limity. Úplné kategorie a věty o úplnosti.

Adjungované funktory, příklady. Reflektivní a koreflektivní podkategorie. Popis adjunkce pomocí adjunkčních jednotek. Adjunkce a zachování limit či kolimit. Věta o existenci adjunktu.

Kartézsky uzavřené kategorie. Kategorie funktorů.

Yonedovo lemma. Modelování některých teorií.

Monády. Monády a adjunkce. Popisy algebraických struktur (Eilenberg - Moorovy algebry). Kleisliho kategorie; poznámky o roli v informatice.

Poslední úprava: Pultr Aleš, prof. RNDr., DrSc. (11.10.2017)