Category: Pos

Pos is the category whose objects are partial orders and arrows are monotone maps.

Facts Derived from Enrichment

Pos is a closed category (enriched in itself).

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

Notable Subcategories



categories: Pos

This data as json

name objects_hr arrows_hr
Pos partial orders monotone maps

Links from other tables