Topostheorie

- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
Die Untersuchung von Topoi als kategorial verallgemeinerten Räumen, die Garben, interne Logik und geometrische Morphismen unterstützen und so eine einheitliche Umgebung für Geometrie, Logik und Garbenkohomologie bieten.