Para la definición general, comenzamos con una categoría C que tenga objeto terminal, que denotamos por 1.