Název:
Kanovy extenze a adjungované funktory
Překlad názvu:
Kan extensions and adjoint functors
Autoři:
Otrubů, Mavis ; Šaroch, Jan (vedoucí práce) ; Žemlička, Jan (oponent) Typ dokumentu: Bakalářské práce
Rok:
2023
Jazyk:
eng
Abstrakt: [eng][cze] This thesis is devoted to Kan extensions. First, we provide needed definitions and prove a theorem which gives us an existence condition for a Kan extensions. The proof of this theorem also contains a guide to constructing Kan extensions. The main goal is to present a result which puts Kan extensions and adjoint functors in relation. We also connect this theorem to global Kan extensions. We apply these abstract results in the last chapter, where we formulate and solve a particular problem concerning adjoint functors between the categories of G-sets. 1Tato práce se věnuje Kanovým extenzím. Nejdříve představíme potřebné definice a dokážeme větu, která nám dává existenční podmínku pro Kanovy extenze. Důkaz této věty také poskytuje návod ke konstrukci Kanových extenzí. Hlavní cíl je dokázat větu, která dává do souvislosti Kanovy extenze a adjungované funktory. Tuto větu také pro- pojíme s globálními Kanovými extenzemi. V poslední kapitole formulujeme a vyřešíme příklad týkající se adjungovaných funktorů mezi kategoriemi G−setů, kde použijeme vše z předchozích částí této práce. 1
Klíčová slova:
Kanova extenze|adjungovaný funktor|limita|kompletní kategorie|kategorie prvků; Kan extension|adjoint functor|limit|complete category|category of elements