La Categoría de las categorías pequeñas: La categoría Cat posee como objetos a todas las categorías pequeñas, y como morfismos a los funtores entre ellas.