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 (84)
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
This page was built for publication: AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
