Category: BoolAlg

BoolAlg is the category whose objects are Boolean algebras and arrows are lattice maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

Has an initial object

categories: BoolAlg

This data as json

name objects_hr arrows_hr
BoolAlg Boolean algebras lattice maps

Links from other tables