|
|
|
||
Poslední úprava: T_KAM (24.03.2004)
|
|
||
Poslední úprava: doc. Mgr. Jan Kynčl, Ph.D. (04.06.2019)
Ústní zkouška. |
|
||
Poslední úprava: prof. RNDr. Aleš Pultr, DrSc. (11.10.2017)
S. MacLane, Categories for Working Mathematician, Springer 1989. Appendix on categories in Picado-Pultr:Frames and Locales |
|
||
Poslední úprava: prof. RNDr. Aleš Pultr, DrSc. (11.06.2019)
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: prof. RNDr. Aleš Pultr, DrSc. (11.10.2017)
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. |