En matemática, un topos (plural: topos o topoi) es un tipo de categoría que se comporta como la categoría de conjuntos y más generalmente como una categoría de haces sobre un espacio topológico.