Era una pregunta aceptable, alrededor de 1957, sobre una caracterización puramente categórico-teorética similar, sobre categorías de haces de conjuntos.