Definition:Preorder Category/Definition 2
Jump to navigation
Jump to search
Definition
Let $\mathbf C$ be a metacategory.
Then $\mathbf C$ is a preorder category if and only if