En general, cada funtor contravariante de una categoría "C" a la categoría de conjuntos es por lo tanto llamado un "pre-haz de conjuntos en C".