Todo conjunto parcialmente ordenado "I" puede ser considerado como una categoría pequeña donde los morfismos son flechas "i" → "j" ssi "i" ≤ "j".