# Category:Category of Ordered Sets

The category of ordered sets, denoted $\mathbf{OrdSet}$, is the metacategory with: