Category: HeytAlg

HeytAlg is the category whose objects are Heyting algebras and arrows are lattice maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: HeytAlg

This data as json

name objects_hr arrows_hr
HeytAlg Heyting algebras lattice maps

Links from other tables