Full Subcategory: BoolAlg ⊊ Lat

BoolAlg is a full subcategory of Lat. When any two lattices of Lat are Boolean algebras in BoolAlg, all lattice maps between them are lattice maps in BoolAlg too. Put another way, BoolAlg has only some of the objects of Lat, but all of the arrows.

In terms of stuff, structure, and properties, Boolean algebras are like lattices but with extra properties.

full_subcategories: BoolAlg, Lat

This data as json