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 ...