Un objeto "A" de una categoría C define un funtor covariante de C en la categoría Set de los conjuntos :