En sí misma, esta categoría no es muy excitante, pero los funtores desde "C" hacia otras categorías, llamados "pre-haces sobre X", son interesantes.