Topos (Mathematik)

Topos (pl. Topoi, griech. Ort) ist ein Begriff der Kategorientheorie, der in zwei engverwandten Ausprägungen vorkommt, nämlich

• als Elementartopos, der eine verallgemeinerte Kategorie aller Mengen ist, mit dem Ziel einer nicht-mengentheoretischen Grundlegung der Mathematik.
• als Grothendieck-Topos, der ein verallgemeinerter topologischer Raum ist und Anwendungen in der algebraischen Geometrie findet.