Browsing Bakalářské práce - 13136 by Subject "algebra"
Now showing items 1-1 of 1
-
Indukce a koindukce
; Supervisor: Dostál Matěj; Opponent: Ší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 ...