Conglomerate (mathematics)

Last updated

In mathematics, in the framework of one-universe foundation for category theory, [1] [2] the term conglomerate is applied to arbitrary sets as a contraposition to the distinguished sets that are elements of a Grothendieck universe. [3] [4] [5] [6] [7] [8]

Contents

Definition

The most popular axiomatic set theories, Zermelo–Fraenkel set theory (ZFC), von Neumann–Bernays–Gödel set theory (NBG), and Morse–Kelley set theory (MK), admit non-conservative extensions that arise after adding a supplementary axiom of existence of a Grothendieck universe . An example of such an extension is the Tarski–Grothendieck set theory, where an infinite hierarchy of Grothendieck universes is postulated.

The concept of conglomerate was created to deal with "collections" of classes, which is desirable in category theory so that each class can be considered as an element of a "more general collection", a conglomerate. Technically this is organized by changes in terminology: when a Grothendieck universe is added to the chosen axiomatic set theory (ZFC/NBG/MK) it is considered convenient [9] [10]

As a result, in this terminology, each set is a class, and each class is a conglomerate.

Corollaries

Formally this construction describes a model of the initial axiomatic set theory (ZFC/NBG/MK) in the extension of this theory ("ZFC/NBG/MK+Grothendieck universe") with as the universe. [1] : 195  [2] : 23 

If the initial axiomatic set theory admits the idea of proper class (i.e. an object that can't be an element of any other object, like the class of all sets in NBG and in MK), then these objects (proper classes) are discarded from the consideration in the new theory ("NBG/MK+Grothendieck universe"). However, (not counting the possible problems caused by the supplementary axiom of existence of ) this in some sense does not lead to a loss of information about objects of the old theory (NBG or MK) since its representation as a model in the new theory ("NBG/MK+Grothendieck universe") means that what can be proved in NBG/MK about its usual objects called classes (including proper classes) can be proved as well in "NBG/MK+Grothendieck universe" about its classes (i.e. about subsets of , including subsets that are not elements of , which are analogs of proper classes from NBG/MK). At the same time, the new theory is not equivalent to the initial one, since some extra propositions about classes can be proved in "NBG/MK+Grothendieck universe" but not in NBG/MK.

Terminology

The change in terminology is sometimes called "conglomerate convention". [7] : 6  The first step, made by Mac Lane, [1] : 195  [2] : 23  is to apply the term "class" only to subsets of Mac Lane does not redefine existing set-theoretic terms; rather, he works in a set theory without classes (ZFC, not NBG/MK), calls members of "small sets", and states that the small sets and the classes satisfy the axioms of NBG. He does not need "conglomerates", since sets need not be small.

The term "conglomerate" lurks in reviews of the 1970s and 1980s on Mathematical Reviews [11] without definition, explanation or reference, and sometimes in papers. [12]

While the conglomerate convention is in force, it must be used exclusively in order to avoid ambiguity; that is, conglomerates should not be called “sets” in the usual fashion of ZFC. [7] : 6 

Related Research Articles

<span class="mw-page-title-main">Axiom of choice</span> Axiom of set theory

In mathematics, the axiom of choice, abbreviated AC or AoC, is an axiom of set theory equivalent to the statement that a Cartesian product of a collection of non-empty sets is non-empty. Informally put, the axiom of choice says that given any collection of sets, each containing at least one element, it is possible to construct a new set by choosing one element from each set, even if the collection is infinite. Formally, it states that for every indexed family of nonempty sets, there exists an indexed set such that for every . The axiom of choice was formulated in 1904 by Ernst Zermelo in order to formalize his proof of the well-ordering theorem.

Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics. Unlike axiomatic set theories, which are defined using formal logic, naive set theory is defined informally, in natural language. It describes the aspects of mathematical sets familiar in discrete mathematics, and suffices for the everyday use of set theory concepts in contemporary mathematics.

In set theory and its applications throughout mathematics, a class is a collection of sets that can be unambiguously defined by a property that all its members share. Classes act as a way to have set-like collections while differing from sets so as to avoid paradoxes, especially Russell's paradox. The precise definition of "class" depends on foundational context. In work on Zermelo–Fraenkel set theory, the notion of class is informal, whereas other set theories, such as von Neumann–Bernays–Gödel set theory, axiomatize the notion of "proper class", e.g., as entities that are not members of another entity.

In the mathematical field of category theory, the category of sets, denoted as Set, is the category whose objects are sets. The arrows or morphisms between sets A and B are the total functions from A to B, and the composition of morphisms is the composition of functions.

<span class="mw-page-title-main">Set theory</span> Branch of mathematics that studies sets

Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory — as a branch of mathematics — is mostly concerned with those that are relevant to mathematics as a whole.

In many popular versions of axiomatic set theory, the axiom schema of specification, also known as the axiom schema of separation (Aussonderungsaxiom), subset axiom, axiom of class construction, or axiom schema of restricted comprehension is an axiom schema. Essentially, it says that any definable subclass of a set is a set.

In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. Zermelo–Fraenkel set theory with the axiom of choice included is abbreviated ZFC, where C stands for "choice", and ZF refers to the axioms of Zermelo–Fraenkel set theory with the axiom of choice excluded.

In set theory, an uncountable cardinal is inaccessible if it cannot be obtained from smaller cardinals by the usual operations of cardinal arithmetic. More precisely, a cardinal κ is strongly inaccessible if it satisfies the following three conditions: it is uncountable, it is not a sum of fewer than κ cardinals smaller than κ, and implies .

<span class="mw-page-title-main">Universe (mathematics)</span> All-encompassing set or class

In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.

In mathematics, two sets or classes A and B are equinumerous if there exists a one-to-one correspondence (or bijection) between them, that is, if there exists a function from A to B such that for every element y of B, there is exactly one element x of A with f(x) = y. Equinumerous sets are said to have the same cardinality (number of elements). The study of cardinality is often called equinumerosity (equalness-of-number). The terms equipollence (equalness-of-strength) and equipotence (equalness-of-power) are sometimes used instead.

In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted by V, is the class of hereditary well-founded sets. This collection, which is formalized by Zermelo–Fraenkel set theory (ZFC), is often used to provide an interpretation or motivation of the axioms of ZFC. The concept is named after John von Neumann, although it was first published by Ernst Zermelo in 1930.

In mathematics, especially in the field of category theory, the concept of injective object is a generalization of the concept of injective module. This concept is important in cohomology, in homotopy theory and in the theory of model categories. The dual notion is that of a projective object.

In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel–choice set theory (ZFC). NBG introduces the notion of class, which is a collection of sets defined by a formula whose quantifiers range only over sets. NBG can define classes that are larger than sets, such as the class of all sets and the class of all ordinals. Morse–Kelley set theory (MK) allows classes to be defined by formulas whose quantifiers range over classes. NBG is finitely axiomatizable, while ZFC and MK are not.

Internal set theory (IST) is a mathematical theory of sets developed by Edward Nelson that provides an axiomatic basis for a portion of the nonstandard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, Nelson's approach modifies the axiomatic foundations through syntactic enrichment. Thus, the axioms introduce a new term, "standard", which can be used to make discriminations not possible under the conventional ZFC axioms for sets. Thus, IST is an enrichment of ZFC: all axioms of ZFC are satisfied for all classical predicates, while the new unary predicate "standard" satisfies three additional axioms I, S, and T. In particular, suitable nonstandard elements within the set of real numbers can be shown to have properties that correspond to the properties of infinitesimal and unlimited elements.

In mathematics, a Grothendieck universe is a set U with the following properties:

  1. If x is an element of U and if y is an element of x, then y is also an element of U. (U is a transitive set.)
  2. If x and y are both elements of U, then is an element of U.
  3. If x is an element of U, then P(x), the power set of x, is also an element of U.
  4. If is a family of elements of U, and if I is an element of U, then the union is an element of U.

In mathematics, a set A is Dedekind-infinite if some proper subset B of A is equinumerous to A. Explicitly, this means that there exists a bijective function from A onto some proper subset B of A. A set is Dedekind-finite if it is not Dedekind-infinite. Proposed by Dedekind in 1888, Dedekind-infiniteness was the first definition of "infinite" that did not rely on the definition of the natural numbers.

In the foundations of mathematics, Morse–Kelley set theory (MK), Kelley–Morse set theory (KM), Morse–Tarski set theory (MT), Quine–Morse set theory (QM) or the system of Quine and Morse is a first-order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory restricts the bound variables in the schematic formula appearing in the axiom schema of Class Comprehension to range over sets alone, Morse–Kelley set theory allows these bound variables to range over proper classes as well as sets, as first suggested by Quine in 1940 for his system ML.

<span class="mw-page-title-main">Axiom of limitation of size</span>

In set theory, the axiom of limitation of size was proposed by John von Neumann in his 1925 axiom system for sets and classes. It formalizes the limitation of size principle, which avoids the paradoxes encountered in earlier formulations of set theory by recognizing that some classes are too big to be sets. Von Neumann realized that the paradoxes are caused by permitting these big classes to be members of a class. A class that is a member of a class is a set; a class that is not a set is a proper class. Every class is a subclass of V, the class of all sets. The axiom of limitation of size says that a class is a set if and only if it is smaller than V—that is, there is no function mapping it onto V. Usually, this axiom is stated in the equivalent form: A class is a proper class if and only if there is a function that maps it onto V.

Tarski–Grothendieck set theory is an axiomatic set theory. It is a non-conservative extension of Zermelo–Fraenkel set theory (ZFC) and is distinguished from other axiomatic set theories by the inclusion of Tarski's axiom, which states that for each set there is a Grothendieck universe it belongs to. Tarski's axiom implies the existence of inaccessible cardinals, providing a richer ontology than ZFC. For example, adding this axiom supports category theory.

General set theory (GST) is George Boolos's (1998) name for a fragment of the axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano axioms.

References

  1. 1 2 3 Mac Lane, Saunders (1969). "One universe as a foundation for category theory". Reports of the Midwest Category Seminar III. Lecture Notes in Mathematics, vol 106. Vol. 106. Springer, Berlin, Heidelberg. pp. 192–200. doi:10.1007/BFb0059147. ISBN   978-3-540-04625-7.
  2. 1 2 3 Mac Lane, Saunders (1998). Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5 (Second ed.). Springer, New York, NY. ISBN   978-0-387-90036-0.
  3. ↑ Adamek, Jiri; Herrlich, Horst; Strecker, George (1990). Abstract and Concrete Categories: The Joy of Cats (PDF). Dover Publications. pp. 13, 15, 16, 259. ISBN   978-0-486-46934-8.
  4. ↑ Herrlich, Horst; Strecker, George (2007). "Sets, classes, and conglomerates" (PDF). Category theory (3rd ed.). Heldermann Verlag. pp. 9–12.
  5. ↑ Osborne, M. Scott (2012-12-06). Basic Homological Algebra. Springer Science & Business Media. pp. 151–153. ISBN   9781461212782.
  6. ↑ Preuß, Gerhard (2012-12-06). Theory of Topological Structures: An Approach to Categorical Topology. Springer Science & Business Media. p. 3. ISBN   9789400928596.
  7. 1 2 3 Murfet, Daniel (October 5, 2006). "Foundations for Category Theory" (PDF).
  8. ↑ Zhang, Jinwen (1991). "The axiom system ACG and the proof of consistency of the system QM and ZF#". Advances in Chinese Computer Science. Vol. 3. pp. 153–171. doi:10.1142/9789812812407_0009. ISBN   978-981-02-0152-4.
  9. ↑ Herrlich, Horst; Strecker, George (2007). "Appendix. Foundations" (PDF). Category theory (3rd ed.). Heldermann Verlag. pp. 328–3300.
  10. ↑ Nel, Louis (2016-06-03). Continuity Theory. Springer. p. 31. ISBN   9783319311593.
  11. ↑ Reviews 48#5965, 56#3798, 82f:18003, 83d:18010, 84c:54045, 87m:18001
  12. ↑ Reviewed: 89e:18002, 96g:18002
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.