Definition:Category of Boolean Algebras

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

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

Also see

 * Category of Boolean Algebras is Category, why this forms a metacategory