Category: CompBoolAlg

CompBoolAlg is the category whose objects are complete Boolean algebras (CABAs) and arrows are lattice maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: CompBoolAlg

This data as json

name objects_hr arrows_hr
CompBoolAlg complete Boolean algebras (CABAs) lattice maps

Links from other tables