Definition:Preorder Category/Definition 2

Definition

Let $\mathbf C$ be a metacategory.

Then $\mathbf C$ is a preorder category if and only if

For all objects $C, C'$ of $\mathbf C$, there is at most one morphism $f: C \to C'$

Also see

• Definition:Order Category/Definition 2