|
|||||
|
|
Free ω-complete algebras |
|
| Authors: | Grzegorz Jarzembski |
| Affiliation: | (1) Nicholas Copemicus University, Toruń, Poland |
| Abstract: | 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |