Let C be any category.
Sexa C unha categoría.