Completeness of the category of boolean algebras

64 Views Asked by At

Has the category of Boolean algebras all small limits? If so, is there a general result for showing that a category of algebras is complete such that one can show the category of Bolean algebras is complete as a particular case?

1

There are 1 best solutions below

2
On BEST ANSWER

Yes, all categories that are monadic over $\mathbf{Set}$ are complete, because $\mathbf{Set}$ is.

More generally, the Eilenberg-Moore category of algebras for a monad on a category $\mathcal{C}$ has all limits that exist in $\mathcal{C}$.