~2026-16548-57: /* Elementartopos als Abstraktion der Kategorie aller Mengen */

2026-03-16T17:22:17Z

Elementartopos als Abstraktion der Kategorie aller Mengen

Neue Seite

'''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 [[Menge (Mathematik)|Mengen]] ist, mit dem Ziel einer nicht-mengentheoretischen Grundlegung der Mathematik.
* als ''Grothendieck-Topos'', der ein verallgemeinerter [[topologischer Raum]] ist und Anwendungen in der [[Algebraische Geometrie|algebraischen Geometrie]] findet.

== Elementartopos ==
=== Motivation ===
Die Idee eines Elementartopos geht ursprünglich auf [[William Lawvere]] (1937–2023) zurück, welcher sich 1963 zum Ziel setzte, die Mathematik auf ein rein kategorientheoretisches Fundament zu stellen (anstatt der bis heute üblichen Mengenlehre). In Zusammenarbeit mit [[Myles Tierney]] formulierte er gegen Ende der 1960er Jahre schließlich die Axiome für einen Elementartopos. Dieses ist, vereinfacht gesagt, eine Art Universum (informell gesprochen), in dem es möglich ist, Mathematik zu betreiben. Ein Elementartopos enthält genügend Struktur, um darin einen abstrakten Mengenbegriff zu definieren und damit Mathematik und Logik zu betreiben. Insbesondere besitzt ein Elementartopos eine sogenannte interne Logik, welche nicht unbedingt [[Klassische Logik|klassisch]] sein muss.

=== Definition ===
Ein Elementartopos ist eine Kategorie <math>\mathcal{E}</math> mit

* (a) einem [[Faserprodukt#Faserprodukte in beliebigen Kategorien|Pullback]] für jedes Diagramm <math>A \to X \leftarrow B</math>;
* (b) einem [[Endobjekt|terminalen Objekt]] <math>1</math>;
* (c) einem Objekt <math>\Omega</math>, genannt der [[Unterobjekt-Klassifizierer]] (wörtlich von engl. ''subobject classifier'') und einem [[Monomorphismus#Monomorphismen in beliebigen Kategorien|Monomorphismus]] <math>\mathrm{true} \colon 1 \rightarrowtail \Omega</math>, sodass für jeden Monomorphismus <math>m \colon A \rightarrowtail B</math> ein eindeutiger [[Morphismus|Pfeil]] <math>\chi_m \colon B \to \Omega</math> (genannt der Charakter von <math>m</math>) existiert, sodass folgendes Diagramm ein Pullback ist:

[[Datei:CharakterPullbackTopos.png|zentriert]]

: wobei hier <math>! \colon A \to 1</math> den eindeutigen Pfeil von <math>A</math> ins Terminalobjekt <math>1</math> bezeichne;

* (d) einem Exponential <math>C^A</math> mit zugehörigem Evaluations-Pfeil <math>\mathrm{ev}_{C,A}:C^A \times A \to C</math> für je zwei Objekte <math>A,C</math>, mit der universellen Eigenschaft, dass für jedes Objekt <math>B</math> und jeden Pfeil <math>f \colon B \times A \to C</math> genau ein Pfeil <math>f' \colon B \to C^A</math> existiert, sodass folgendes Diagramm kommutiert:

[[Datei:KategorienExponential.png|zentriert]]

: wobei <math>1_A \colon A \to A</math> den Identitätspfeil von <math>A</math> bezeichne.

Die Eigenschaften (a) und (b) lassen sich kurz zusammenfassen, indem man sagt, <math>\mathcal{E}</math> sei [[Endlich vollständige Kategorie|endlich vollständig]] (d. h., alle endlichen Limites existieren). Die Eigenschaften (c) und (d) scheinen im ersten Moment extrem künstlich und abstrakt zu sein, sind jedoch beide durch die Kategorie <math>\mathbf{Sets}</math> aller Mengen motiviert. Kürzer schreibt man oft für (d), dass der Funktor <math>-\times A\colon \mathcal{E}\to\mathcal{E}</math> für alle <math>A</math> einen [[Adjunktion (Kategorientheorie)|Rechtsadjungierten]] (meist mit <math>(-)^A</math> bezeichnet) besitzt.

Die ursprüngliche Definition eines Elementartopos enthielt auch die Forderung, dass dieser endlich ko-vollständig sein soll (d. h., dass alle endlichen Kolimites existieren). Diese Forderung folgt jedoch aus den anderen, nach einem nicht-trivialen Resultat von Mikkelsen.<ref>Robert Paré: ''Colimits in topoi''. In: ''Bull. Amer. Math. Soc.'', 80, 1974, S. 556–561.</ref>

=== Elementartopos als Abstraktion der Kategorie aller Mengen ===
Wie schon gesagt, sollte mit Hilfe der Topostheorie ein kategorientheoretisches Fundament für die Mathematik gelegt werden. Dies bedeutet insbesondere, dass die Kategorie <math>\mathbf{Sets}</math> aller Mengen dadurch beschrieben werden muss. Entsprechend ist dies wohl auch das wichtigste Beispiel, was die Motivation der verschiedenen Konzepte der Topostheorie angeht. In <math>\mathbf{Sets}</math> ist <math>C^A = \{f \colon A \to C\}</math> schlicht die Menge aller Abbildungen von <math>A</math> nach <math>C</math> und entsprechend <math>\mathrm{ev}_{C,A} \colon C^A \times A \to C, (f,a) \mapsto f(a)</math>. Weiter ist <math>\Omega = \{0,1\} = 2</math> (man beachte, dass hier <math>2</math> als finite Ordinalzahl zu verstehen ist), <math>\mathrm{true}: \{0\} \to \{0,1\}, 0 \mapsto 1</math> und <math>\chi_m \colon B \to \{0,1\}, b \mapsto \left\{\begin{array}{ll} 0 & b \notin A \\ 1 & b \in A \end{array} \right.</math> die übliche [[Indikatorfunktion|charakteristische Funktion]] von <math>A</math> als Teilmenge von <math>B</math>.

Die Eigenschaft, dass <math>\Omega</math> nur zwei Elemente enthält, bedeutet, dass es sich bei <math>\mathbf{Sets}</math> um einen sogenannten booleschen Topos handelt, und dieser ist elementar für die klassische Mathematik (klassisch im Sinne von [[Intuitionismus|nicht-intuitionistisch]]).

Um <math>\mathbf{Sets}</math> abstrakt gegenüber allgemeinen Elementartopoi auszuzeichnen, werden gewöhnlich die folgenden Axiome verwendet:<ref>{{Literatur |Autor=Colin McLarty |Titel=Elementary Categories, Elementary Toposes |Verlag=Oxford University Press |Datum=2005 |ISBN=0-19-851473-5 |Seiten=211,213}}</ref>

* Es gibt ein Anfangsobjekt <math>0\not\cong 1</math> (Nichttrivialität).
* Sind <math>f,g\colon X \to Y</math> Pfeile, so ist <math>f=g</math> oder es existiert ein <math>x\colon 1\to X</math> mit <math>f\circ x \neq g\circ x</math> (Wohlpunktiertheit).
* Es gibt ein [[Objekt natürlicher Zahlen]], d. h. ein Objekt <math>N</math> zusammen mit Pfeilen
:: <math>1\stackrel z \longrightarrow N \stackrel s \longrightarrow N,</math>
: sodass für jedes Objekt <math>X</math> mit Pfeilen <math>1 \stackrel x \longrightarrow X \stackrel f \longrightarrow X</math> ein eindeutig bestimmter Pfeil <math>h\colon N \to X</math> existiert mit <math>h\circ z = x</math> und <math>h\circ s = f \circ h</math>.
* Für jeden Epimorphismus <math>e\colon X\to Y</math> existiert ein Pfeil <math>m\colon Y\to X</math> mit <math>e\circ m=1_Y</math> ([[Auswahlaxiom]]).

== Grothendieck-Topos ==

Ein Grothendieck-Topos, benannt nach [[Alexander Grothendieck]], ist definiert als eine Kategorie, die [[Äquivalenz (Kategorientheorie)|äquivalent]] ist zur Kategorie der [[Garbe (Mathematik)|Garben]] (von Mengen) auf einem [[Situs (Mathematik)|Situs]]. Nach einem Satz von [[Jean Giraud (Mathematiker)|Jean Giraud]] ist eine Kategorie <math>\mathcal{E}</math> genau dann ein Grothendieck-Topos, wenn die folgenden Eigenschaften erfüllt sind:

* (a) In <math>\mathcal{E}</math> existieren endliche [[Limes (Kategorientheorie)|projektive Limites]].
* (b) In <math>\mathcal{E}</math> existieren beliebige [[Koprodukt]]e, und sie sind universell disjunkt.


: Ein Koprodukt <math>\textstyle S=\coprod_i S_i</math> heißt ''disjunkt'', wenn die Strukturmorphismen <math>S_i\to S</math> Monomorphismen sind und <math>S_i\times_SS_j</math> für <math>i\ne j</math> ein Anfangsobjekt ist. Das Koprodukt heißt ''universell disjunkt'', wenn es unter jedem [[Basiswechsel (Faserprodukt)|Basiswechsel]] <math>T\to S</math> disjunkt bleibt, das heißt, wenn <math>\textstyle T=\coprod_i (T\times_SS_i)</math> disjunkt ist.
* (c) Äquivalenzrelationen in <math>\mathcal{E}</math> sind universell effektiv.

: Dabei ist eine Äquivalenzrelation ein Paar <math>p_1,p_2\colon R\to X</math> von Morphismen, so dass für jedes Objekt <math>T\in \mathrm{Ob}(\mathcal{E})</math> die induzierte Abbildung <math>(p_1,p_2)\colon R(T)\to X(T)\times X(T)</math> eine Bijektion auf den Graphen einer Äquivalenzrelation auf <math>X(T)</math> ist. Dabei ist <math>X(T):=\operatorname{Hom}(T,X)</math>.
* (d) <math>\mathcal{E}</math> besitzt eine erzeugende Familie von Objekten.

: Dabei heißt eine Familie <math>(E_i)_{i \in I}</math> von Objekten ''erzeugend'', wenn ein Morphismus <math>X\to Y</math>, für den alle induzierten Abbildungen <math>X(E_i)\to Y(E_i)</math> Bijektionen sind, ein Isomorphismus ist.

Es sei angemerkt, dass jeder Grothendieck-Topos immer auch ein Elementartopos ist.

== Literatur ==

* [[Michael Artin]], Alexander Grothendieck, [[Jean-Louis Verdier]]: ''Séminaire de géométrie algébrique du Bois-Marie. Théorie des topos et cohomologie étale des schémas.'' (SGA 4) 1963–64.
* Francis Borceux: ''Handbook of Categorical Algebra 3: Categories of Sheaves''. Cambridge, 1994.
* Rob Goldblatt: ''Topoi: the categorial analysis of logic.'' 1. Auflage. Amsterdam 1979. 2. Auflage. Mineola NY 1984. Dover Publications, 2006, ISBN 0-486-45026-0, [http://www.zentralblatt-math.org/zmath/en/search/?q=an:0434.03050&format=complete Zbl 0434.03050] (''krit. bespr. v.'' Johnstone) [http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=Gold010&id=3 Scans]
* [[William Lawvere]], Robert Rosebrugh: ''Sets for Mathematics''. Cambridge University Press, 2003.
* [[Saunders Mac Lane]], [[Ieke Moerdijk]]: ''Topos theory.'' In: M. Hazewinkel (Hrsg.): ''Handbook of algebra.'' Amsterdam 1996, ISBN 0-444-82212-7, Band I, S. 501–528, [http://www.zentralblatt-math.org/zmath/en/search/?q=an:0858.18001&format=complete Zbl 0858.18001]
* Saunders Mac Lane, Ieke Moerdijk: ''Sheaves in geometry and logic: a first introduction to topos theory.'' Universitext, Berlin 1992, ISBN 0-387-97710-4. xii, 627 p., [http://www.zentralblatt-math.org/zmath/en/search/?q=an:0822.18001&format=complete Zbl 0822.18001]
* [[Michael Barr (Mathematiker)|Michael Barr]], [[Charles Frederick Wells]]: ''Toposes, Triples and Theories.'' – Berlin, 1983 (Grundlehren der math. Wissenschaften; 278).
* [[Peter Johnstone (Mathematiker)|Peter T. Johnstone]]: ''Sketches of an Elephant: A Topos Theory Compendium.'' Oxford Logic Guides, 43 & 44, 2002, ISBN 0-19-852496-X, [http://www.zentralblatt-math.org/zmath/en/search/?q=an:1071.18002&format=complete Zbl 1071.18002]
* Ieke Moerdijk, Jacob Johan Caspar Vermeulen: ''Proper Maps of Toposes.'' In: ''Mem. Am. Math. Soc.'', 705, 2000, ISBN 0-8218-2168-7, [http://www.zentralblatt-math.org/zmath/en/search?q=an:0961.18003&format=complete Zbl 0961.18003]

== Einzelnachweise ==
<references />

[[Kategorie:Kategorientheorie]]

Topos (Mathematik) - Versionsgeschichte

~2026-16548-57: /* Elementartopos als Abstraktion der Kategorie aller Mengen */