Category: Pros

Pros is the category whose objects are preorders and arrows are monotone maps.

Facts Derived from Enrichment

Pros is a 2-poset, a locally posetal or 2-thin 2-category (enriched in Pos).

Notable Subcategories



categories: Pros

This data as json

name objects_hr arrows_hr
Pros preorders monotone maps

Links from other tables