El objeto formula_1 de C es un clasificador de subobjetos para C si existe un morfismo