Construction of free continuous algebras
- 34 Downloads
A subset system Z is a function, assiging to each posetX a collectionZX of its subsets. We studyZ-continuous universal algebras, i.e., ordered algebras such that their domains have, and their operations preserve, joins of allZ-sets. A construction of the freeZ-continuous algebras is exhibited for an arbitraryZ. It turn out that only four subset systems have to be considered: the systemZX of (i) all ε-chains inX; (ii) all finite subsets ofX; (iii) all countable subsets ofX and (iv) the void set alone. The free algebras are described concretely for these four cases.
KeywordsDisjoint Union Binary Tree Universal Property Algebra UNIV Extension Property
Unable to display preview. Download preview PDF.
- B. Banaschwski andE. Nelson,Completion of partially ordered sets as reflections. Computer Science Tech. Rep. 79-CS-6, McMaster University, Hamilton, Ontario, Canada, 1979.Google Scholar
- G. Jarzembski,Algebry v kategorii zbiorow czesciovo uporiadkovanych. Preprint 1–1978, Mathematical Institute of N. Copernicus University, Torun, Poland, 1978.Google Scholar
- E. Nelson,Z-continuous algebras. To appear.Google Scholar
- D. Scott,Continuous lattices. Proceedings, 1971 Dalhouisie Conf. Springer Lecture Note Series, 274, Springer-Verlag (1972), 97–136.Google Scholar
- E. G. Wagner, J. W. Thatcher andJ. B. Wright,A uniform approach to inductive posets and inductive closure. Lecture Notes in Computer Science 53 (MFCS 77 Proceedings), Springer-Verlag 1977.Google Scholar
- E. G. Wagner, J. W. Thatcher andJ. B. Wright,Free continuous theories. IBM Research Rep. RC 6906, IBM Research Division, 1979.Google Scholar
- J. Adámek, E. Nelson, Y. Reiterman, Tree constructions of free continuous algebras. To appear.Google Scholar