\begin{definition}[Definition:Category of Boolean Algebras]
The '''category of Boolean algebras''', denoted $\mathbf{BA}$, is the metacategory with:
{{DefineCategory
|ob  = Boolean algebras
|mor =  Boolean homomorphisms
}}
\end{definition}