Complete atomic Boolean algebra

Summary

A complete atomic Boolean algebra is a complete Boolean algebra in which every nonzero element lies above an atom. Every power set algebra is of this kind. Conversely, every complete atomic Boolean algebra is isomorphic to the power set of its set of atoms. So these algebras are the same as sets, seen algebraically. With homomorphisms that preserve all suprema, their category is dual to the category of sets.