BoolAlg): The category of Boolean algebras (#12452)

Commit

3 years ago

feat(order/category/BoolAlg): The category of Boolean algebras (#12452) Define `BoolAlg`, the category of Boolean algebras with bounded lattice homs.

Author

YaelDillies

Parents