Esta página presenta de modo amplio la idea matemática de los topos. Ésta es una rama de la teoría de categorías, y tiene reputación de ser abstrusa. El nivel de abstracción involucrado no se puede reducir más allá de cierto punto; pero el contexto puede ser indicado. Esto se hará en parte en términos del desarrollo histórico, pero también hasta cierto grado dando una explicación de actitudes, ciertamente diferentes, frente a la teoría de categorías.