Abstract
It is known that continuous lattices and their morphisms can be obtained as algebras and the corresponding homomorphisms respectively for an (infinitary) algebraic theory. In this paper we present one such theory explicitly.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have