Esta definición fue dada eventualmente (angl.), alrededor de 1962, por Grothendieck y Verdier (véase el seminario Bourbaki: "Análisis Situs" de Verdier).