an:01178215
Zbl 0896.08008
Koslowski, J??rgen
Note on free algebras over continuous domains
EN
Theor. Comput. Sci. 179, No. 1-2, 421-425 (1997).
00040988
1997
j
08B20 06B35 68Q55 08A70
free algebra functor; category of directed complete partial orders; dcpo
Summary: We provide a simple direct proof that for a finitary signature and a set of inequalities the free algebra functor on the category of directed complete partial orders (dcpo's) takes continuous, respectively algebraic, dcpo's to free algebras whose underlying dcpo is again continuous, respectively algebraic.