Un prehaz de conjuntos en la categoría "C" es un funtor contravariante "F": "C" formula_1 Set.