Categorical set theory: A characterization of the category of sets

DOI10.1016/0022-4049(74)90032-2zbMath0282.02027OpenAlexW2034224051WikidataQ59594740 ScholiaQ59594740MaRDI QIDQ1843432

Gerhard Osius

Publication date: 1974

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(74)90032-2

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Grothendieck topologies and Grothendieck topoi (18F10) Categories of sets, characterizations (18B05)

Related Items

The effects of effects on constructivism, Unnamed Item, Unnamed Item, Relating first-order set theories, toposes and categories of classes, Set Theory and Structures, WHAT IS A RESTRICTIVE THEORY?, Nonstandard proof methods in toposes, Recursive coalgebras of finitary functors, Well-founded coalgebras, revisited, Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets, Comparing material and structural set theories, Intuitionistic sets and ordinals, FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE, NEITHER CATEGORICAL NOR SET-THEORETIC FOUNDATIONS, Fixed Points of Functors - A Short Abstract, Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen, Completely iterative algebras and completely iterative monads, Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness, Recursive coalgebras from comonads, The strength of Mac Lane set theory, Kleisli morphisms and randomized congruences for the Giry monad, A Coalgebraic View of Bar Recursion and Bar Induction, On three arguments against categorical structuralism, Category theory and the foundations of mathematics: philosophical excavations., Topos theory and Souslin's hypothesis, A categorical framework for learning generalised tree automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen
• Boolean topoi and the theory of sets
• Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom)
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre
• Aspects of topoi
• An undecidable arithmetical statement