𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Construction of free continuous algebras

✍ Scribed by Jiří Adámek


Book ID
112760278
Publisher
Springer
Year
1982
Tongue
English
Weight
1007 KB
Volume
14
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Note on free algebras over continuous do
✍ Jürgen Koslowski 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 322 KB

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 alg