Category: Cluster

Cluster is the category whose objects are partitioned sets and arrows are non-refinement-increasing maps.

Facts Derived from Enrichment

(Cluster doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: Cluster

This data as json

name objects_hr arrows_hr
Cluster partitioned sets non-refinement-increasing maps

Links from other tables