Free ω-complete algebras
- 21 Downloads
In this paper we prove that for an arbitrary type Ω and an arbitrary strict ω-complete posetX the free ω-complete algebra of type Ω overX exists. Moreover, we prove, that for an arbitrary type (not necessary finitary!) this free algebra is, obtained by Adamek's construction in ω steps.
KeywordsPartial Order Free Algebra Forgetful Functor Bottom Element Unique Morphism
Unable to display preview. Download preview PDF.