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

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ů