Search Results: Elementartopos

Weiterleitung nach:

Topos (Mathematik)
Selasa, 2026-03-17 00:22:17

Kategorientheorie, der in zwei engverwandten Ausprägungen vorkommt, nämlich als Elementartopos, der eine verallgemeinerte Kategorie aller Mengen ist, mit dem Ziel...

Click to read more »
Heyting-Algebra
Sabtu, 2026-07-11 13:41:28

Elemente des Unterobjekt-Klassifikators Ω {\displaystyle \Omega } eines Elementartopos bilden eine Heyting-Algebra; es ist die Heyting-Algebra der Wahrheitswerte...

Click to read more »