in the language of category theory, free boolean algebras can be defined simply in terms of an adjunction between the category of sets and functions, set, and the category of boolean algebras and boolean algebra homomorphisms, ba. in fact, this approach generalizes to any algebraic structure definable in the framework of universal algebra.