The category of Boolean algebras and Boolean homomorphisms is equivalent to the opposite of the category of Stone spaces and continuous functions.
Kategorie booleovských algeber a booleovských homomorfismů je ekvivalentní k opaku kategorie Stoneových prostorů a spojitých funkcí.