Definition:Category of Boolean Algebras
Jump to navigation
Jump to search
Definition
The category of Boolean algebras, denoted $\mathbf{BA}$, is the metacategory with:
| Objects: | Boolean algebras | |
| Morphisms: | Boolean homomorphisms |
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
- Results about the category of Boolean algebras can be found here.
Sources
- 2010: Steve Awodey: Category Theory (2nd ed.) ... (previous) ... (next): $\S 2.2$: Example $2.11$: $4$