1 research outputs found
Tree constructions of free continuous algebras
AbstractContinuous algebras are algebras endowed with a partial order which is complete with respect to specified joins and such that the operations preserve these specified joins. We prove the existence of free continuous algebras by actually giving a concrete description of them in terms of trees, for any type of algebras and any choice of the “specified” joins