Category: CompLat

CompLat is the category whose objects are complete lattices and arrows are lattice maps.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: CompLat

This data as json

name objects_hr arrows_hr
CompLat complete lattices lattice maps

Links from other tables