Este ejemplo de motivación se generaliza mediante la consideración de pre-haces sobre categorías arbitrarias: un pre-haz sobre "C" es un funtor definido sobre "C".