Cada conjunto parcialmente ordenador puede verse como una categoría de forma natural: hay un morfismo único de "x" a "y" si y solo si "x" ≤ "y".