This defines BoolAlg, the category of boolean algebras.
The category of boolean algebras.
Construct a bundled BoolAlg from a BooleanAlgebra.
Turn a BoolAlg into a BddDistLat by forgetting its complement operation.
Constructs an equivalence between Boolean algebras from an order isomorphism between them.
OrderDual as a functor.
The equivalence between BoolAlg and itself induced by OrderDual both ways.