Prohlížení katedra počítačů dle autora "Ema Morvayová"
-
Indukce a koindukce
Autor: Ema Morvayová; 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 ...