AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
From MaRDI portal
Publication:5515355
DOI10.1073/pnas.52.6.1506zbMath0141.00603OpenAlexW2104505625WikidataQ34418805 ScholiaQ34418805MaRDI QIDQ5515355
Publication date: 1964
Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1073/pnas.52.6.1506
Related Items
Natural number objects in Dialectica categories, Logical quantization of topos theory, A categorical characterization of relative entropy on standard Borel spaces, Categorical representation of locally Noetherian log schemes, Categories of $V$-sets, Identical particles and the simplicial category, A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM, Left exact logic, On completeness of locally-internal categories, The modernity of Dedekind's anticipations contained in \textit{What are numbers and what are they good for?}, Fuzzy sets and toposes - towards higher order fuzzy logic, Models of arithmetic and categories with finiteness conditions, Logic in Category Theory, Unnamed Item, The role of symmetry in mathematics, Limits in free coproduct completions, Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches, Regular and exact completions, The development and prospects for category theory, Fuzzy sets and sheaves. I: Basic concepts, On the local Cartesian closure of exact completions, Constructing a small category of setoids, Set Theory and Structures, From types to sets, Set-theoretic foundations, Primitive recursion, equality, and a universal set, Nonstandard proof methods in toposes, Fuzzy sets: A topos-logical point of view, Intuitionist type theory and foundations, Using formal methods with SysML in aerospace design and engineering, Two forms of the axiom of choice for an elementary topos, Comparing material and structural set theories, Characterization of the category of linearly ordered sets, Intuitionistic sets and ordinals, Implementing finite structures in Mathematica via a skeletal topos of finite sets., An Elementary Theory of the Category of Topological Spaces, Left and right adjoint operations on spaces and data types, Quantum sets, Lawvere's basic theory of the category of categories, Topology and logic as a source of algebra, Introduction: A personal tribute to Peter Freyd and Bill Lawvere, A class of recursive permutations which is primitive recursive complete, FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE, THE GENETIC VERSUS THE AXIOMATIC METHOD: RESPONDING TO FEFERMAN 1977, CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS, FOUNDATIONS AS TRUTHS WHICH ORGANIZE MATHEMATICS, The scope of Gödel's first incompleteness theorem, Introduction to extensive and distributive categories, Primitive recursive algebraic theories and program schemes, How to be a structuralist all the way down, Kategorielle Mengenlehre: Eine Charakterisierung der Kategorie der Klassen und Abbildungen, Foundations of system theory: Decomposable systems, The minimal mathematical structure for a synchronic approach to fuzzy set theory, Change of base for toposes with generators, How mathematical concepts get their bodies, Foundations of a set theory for fuzzy sets. 40 years of development, Why Sets?, Filter quotients and non-presentable \((\infty,1)\)-toposes, What we talk about when we talk about numbers, The Context of Inference, A characterisation of the category of compact Hausdorff spaces, A characterization of a class of categories of topological spaces, A note on inconsistencies caused by fixpoints in a cartesian closed category, Équivalence naturelle et formules logiques en théorie des catégories, An elementary characterization of the category of (free) relational systems, Algebraic specification of data types: A synthetic approach, An elementary characterization of the category of partly ordered sets, Boolean topoi and the theory of sets, On three arguments against categorical structuralism, On topoi as closed categories, Categories with families and first-order logic with dependent sorts, List Objects with Algebraic Structure, Wittgenstein and finitism, Categorical set theory: A characterization of the category of sets, Topos theory and Souslin's hypothesis, An equational variant of Lawvere's natural numbers object, On conceptual completeness of syntactic-semantical systems, Aspects of Categorical Recursion Theory, THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads, Freeing Structural Realism from Model Theory, Why Not Categorical Equivalence?, Fibred amalgamation, descent data, and Van Kampen squares in topoi, Mathematical aspects of fuzzy sets and fuzzy logic. Some reflections after 40 years
