El concepto de topos se presentó en geometría algebraica, como consecuencia de combinar el concepto de haz y cerradura bajo operaciones categóricas.