En matemática, un topos (plural: toposes 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.