Definition:Category of Boolean Algebras

Definition
The category of Boolean algebras, denoted $\mathbf{BA}$, is the metacategory with:


 * objects: All Boolean algebras;
 * morphisms: All Boolean homomorphisms.

This forms a metacategory, as shown on Category of Boolean Algebras is Category.

Note
The reason to call $\mathbf{BA}$ a metacategory is foundational; allowing it to be a category would bring us to axiomatic troubles.