Categorical set theory: A characterization of the category of sets

DOI10.1016/0022-4049(74)90032-2zbMath0282.02027WikidataQ59594740 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

03E30: Axiomatics of classical set theory and its fragments

18F10: Grothendieck topologies and Grothendieck topoi

18B05: Categories of sets, characterizations

Related Items

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

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