Detail předmětu
Základy teorie kategorií
FSI-9TKD Ak. rok: 2022/2023 Zimní semestr
Studenti budou obeznámeni se základními pojmy a výsledky teorie kategorií a s možnostmi jejich aplikací v různých oblastech, zejména v informatice. Získané vědomosti pak budou moci využít při řešení konkrétních problémů ve svojí specializaci.
Jazyk výuky
čeština
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Absolvováním kurzu získají studenti základní znalosti z teorie kategorií a naučí se je využívat k ření některých problémů informatiky, jako tvorba logických obvodů či vývojových diagramů.
Prerekvizity
Předpokládá se znalost předmětů Obecná algebra a Metody diskrétní matematiky z bakalářského studia a Teorie grafů a Matematické struktury z magisterského studia programu Matematické inženýrství.
Plánované vzdělávací činnosti a výukové metody
Předmět je vyučován formou přednášek, které mají charakter výkladu základních principů a metod teorie kategorií včetně příkladů.
Způsob a kritéria hodnocení
Studenti musejí složit zkoušku, skládající se z písemné a ústní části. Během zkoušky bude zhodnocena znalost základních pojmů a jejich vlastností i schopnost užití teoretických vědomostí pro řešení konkrétních problémů.
Učební cíle
Cílem předmětu je seznámit studenty se základy teorie kategorií a některými jejími aplikacemi v informatice.
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Protože se jedná o přednášku, která je nepovinná, nebude výuka kontrolována.
Použití předmětu ve studijních plánech
Program D-APM-K: Aplikovaná matematika, doktorský, doporučený kurs
Program D-APM-P: Aplikovaná matematika, doktorský, doporučený kurs
Typ (způsob) výuky
Přednáška
20 hod., nepovinná
Osnova
1. Grafy a kategorie
2. Algebraické struktury jako kategorie
3. Konstrukce na kategoriích
4. Vlastnosti objektů a morfismů
5. Součiny a součty objektů
6. Objekty přirozených čísel a deduktivní systémy
7. Funktory a diagramy
8. Funktorové kategorie, gramatiky a automaty
9. Přirozené transformace
10.Limity a kolimity
11.Adjungované funktory
12.Kartézsky uzavřené kategorie a typovaný lambda-kalkul
13.Kartézsky uzavřená kategorie Scottových domainů