is the category whose objects are boolean algebras and whose morphisms are lattice homomorphisms, that is functions which preserve finitary meets and joins (equivalently, binary meets and joins and the top and bottom elements); it follows that the homomorphisms preserve negation. is a subcategory of Pos, in fact a replete subcategory of both DistLat and HeytAlg.
is given by a finitary variety of algebras, or equivalently by a Lawvere theory, so it has all the usual properties of such categories. As usual, the Lawvere theory is the category opposite to the category of finitely generated free Boolean algebras.
The free Boolean algebra generated by a finite set is isomorphic to the double power set of ; an element of is interpreted as the set of all those subsets of to which belongs, and the boolean algebra operations on the intersection and union as usual.
The free Boolean algebra on an arbitrary set is more complicated; it can be described in several ways. By abstract nonsense, it can be described as a filtered colimit of finitely generated free Boolean algebras
A second, more concrete description is
However, the Boolean operations are not what one might naively expect. The simplest way of describing the operations might be to consider Boolean algebras as equivalent to Boolean rings (where binary addition is given by symmetric difference), and consider the construction of free Boolean rings by analogy with polynomial algebra constructions, where one forms the free vector space generated by a monoid of monomials.
is seen as the free -vector space on , where binary addition is given by symmetric difference of two finite subsets of . The multiplication on is inherited from multiplication on , with the help of the distributive law.
(The naive prescription, where one uses the usual intersection and union on the Boolean algebra , is guaranteed to fail because this is an atomic Boolean algebra, whereas the free Boolean algebra on an infinite set is atomless.)
A third description comes from Stone duality (see below).
Classical Stone duality comes about as follows. The two-element Boolean algebra can be regarded as a Boolean algebra object in the category of compact Hausdorff spaces . Thus, for each finitary Boolean algebra operation , there is a corresponding operation on the representable functor given by
and therefore we obtain a lift
A Stone space is by definition a totally disconnected compact Hausdorff space. Let denote the full subcategory of Stone spaces.
The representable functor restricts to an equivalence of categories .
This important theorem can be exploited to give a third description of the free Boolean algebra on a set :
where denotes the 2-element compact Hausdorff space, and the product space . Indeed, the inverse equivalence
where the Zariski topology coincides with the product topology on . By the equivalence, we therefore retrieve as . This in turn is identified with the Boolean algebra of clopen subsets of the generalised Cantor space .
A second description of the inverse equivalence comes about through the yoga of ambimorphic objects. Namely, the Boolean compact Hausdorff space can equally well be seen as a compact Hausdorff object in the category of Boolean algebras. Thus, the representable functor lifts canonically to a functor
and in fact part of the Stone representation theorem is that this factors through the inclusion as the inverse equivalence . In particular this lift determines the topology, providing an description alternative to the description in terms of the Zariski topology (although they are of course the same).
Boolean algebras are less interesting in constructive mathematics, since power sets are not boolean algebras. However, they are still a perfectly good algebraic construct, and the explicit construction of free algebras in terms of finite subsets is still correct. Stone duality also works in constructive mathematics, but it must be done using locales instead of standard topological spaces.