New answers tagged boolean-algebras
4
votes
Boolean algebra object structure on coproduct of terminal object
I am not entirely sure what a boolean algebra object looks like, but I can guess.
The way to remove the guesswork in this case is to get a nice definition of a boolean algebra as an algebraic theory, ...
- 827
4
votes
Accepted
Boolean algebra object structure on coproduct of terminal object
I am not entirely sure what a boolean algebra object
There are many ways to make this precise, but an intuitive one is: you can define an internal lattice in $\cal C$ as an object $L$ equipped with $\...
- 13.2k
Top 50 recent answers are included