Category of Ordered Sets is Category

Theorem
Let $\mathbf{Pos}$ be the category of posets.

Then $\mathbf{Pos}$ is a metacategory.

Proof
Let us verify the axioms $(C1)$ up to $(C3)$ for a metacategory.

For any two monotone mappings their composition (in the usual set theoretic sense) is again monotone by Composite of Monotone Mappings is Monotone.

For any set $X$, we have the identity mapping $\operatorname{id}_X$.

By Identity Mapping is Left Identity and Identity Mapping is Right Identity that this is the identity morphism for $X$.

That it is monotone follows from Identity Mapping is Monotone.

Finally by Composition of Mappings Associative, the associative property is satisfied.

Hence $\mathbf{Pos}$ is a metacategory.