Search

• < Previous
• 1
• Next >

Duality for powerset coalgebras

Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-homomorphisms. We show that the forgetful functor from CABA to CSL has a left adjoint. This allows us to describe an&nbsp;[&hellip;]