Prohlížení dle předmětu "funktor"
Zobrazují se záznamy 1-1 z 1
-
Indukce a koindukce
; Vedoucí práce: Dostál Matěj; Oponent práce: Šír Gustav
(České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-06-07)Tato práce se zabývá vztahem mezi indukcí a koindukcí. Nejprve si představíme nezbytné základy teorie kategorií, především pojem functor, který bude hrát důleži-tou roli při výkladu F-algeber a F-kolgeber. Dualita indukce ...