Cada conjunto parcialmente ordenado se puede ver como una categoría (con un solo morfismo entre "x" y "y" si y solamente si "x" ≤ "y").