Conglomerate (set theory)
In mathematics, a conglomerate is a collection of classes, just as a class is a collection of sets.[1][2]
Conglomerates are used to provide a set-theoretic foundation for category theory. Some naturally occuring entities in category theory, such as the category of all categories, cannot be formed without leading to paradoxes like Russell's paradox[3]. For this reason, a new concept is introduced: a quasi-category. A quasi-category is like a category except that its objects and morphisms form conglomerates instead of classes.[1]
Like classes, conglomerates cannot be defined in some set theories, such as Zermelo–Fraenkel set theory (ZFC), and so one needs to extend a set theory to allow them. As Gödel-Bernays set theory extends ZFC to allow classes, there are extensions that allow conglomerates.
Conglomerate theory[edit]
There are different ways to introduce conglomerates. For category theory, the details of the definition are not important but the following properties are required:[1][unreliable source?][2][4][unreliable source?]
- Every class is a conglomerate.
- A collection of all classes that satisfy a particular property forms a conglomerate.
- In particular, it means that all classes form a conglomerate.
- Conglomerates are closed under the usual set-theoretic operations such as pairing, unions, product and power.
Also, each sub-conglomerate of a class should be a class. A theory that satisfies these conditions is called a conglomerate theory and, if conglomerates satisfy all ZFC axioms, then it is called a strong conglomerate theory. The strong conglomerate theory is consistent if, and only if, the existence of strongly inaccessible cardinals is undecidable (i.e. it cannot be proved nor disproved) in ZFC (assuming ZFC is consistent).[4]:153
Conglomerates and Grothendieck universes[edit]
One way to define conglomerates is to extend ZFC by postulating the existence of a Grothendieck universe[5][6]:5 (which, by the way, implies the existence of strongly inaccessible cardinals). Suppose one such universe is fixed. The following conglomerate conversion[6] for is used:
- The elements of are called sets (or small set).
- The subsets of are called classes.
- And all original sets of our extended ZFC are now called conglomerates.
Thus the original ZFC becomes a subset of ZFC with a Grothendieck universe. According to this notation, all sets are classes and all classes are conglomerates. There is a class of all sets () which is not a set, and the conglomerate of all classes () is not a class. Moreover, for any property there is a conglomerate of all classes that satisfy this property .[7][8][9]
Axiomatic systems with conglomerates[edit]
Another way to define conglomerates is to extend a set theory by adding special axioms that introduce classes and conglomerates. An example of such a system is ACG – a non-conservative extension of Gödel-Bernays set theory[10]:170. This system is formulated as many-sorted first-order logic[10]:157 for different sorts for sets, classes and conglomerates. It has the axioms of Gödel-Bernays set theory with some additional axioms. In this system, one can prove that every set is a class and every class is a conglomerate. Every set belongs to some class and every class belongs to some conglomerate. However the collection of all conglomerates is not a conglomerate. Conglomerates in this system are closed under pairing, unions, product and power.
ACG is a non-conservative extension of Quine-Morse set theory and ZF# (Zermelo–Fraenkel set theory with an axiom of existence of inaccessible cardinals). Moreover, it can prove the consistency of both of these theories.[10][unreliable source?]
Beyond conglomerates[edit]
It is also possible to introduce higher level of entities in addition to sets, classes, and conglomerates. Then one can define for example quasi-quasicategory of quasicategories. However this is rarely needed[1]:259.
In Martin-Löf type theory there is a hierarchy of universes , for any natural number : is a type of "small types", i.e. types that can be formed without referring to a type of types. contains and all types that be formed using small types and . For example a type of groups or functions . In general contains .[11] Universe types are a tricky feature of type theories. Martin-Löf's original type theory had to be changed to account for Girard's paradox which is the type-theoretic analogue of Russell's paradox.
References[edit]
- ↑ 1.0 1.1 1.2 1.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. Search this book on
- ↑ 2.0 2.1 Herrlich, Horst; Strecker, George (2007). "Sets, classes, and conglomerates" (PDF). Category theory (3rd ed.). Heldermann Verlag. pp. 9–12. Search this book on
- ↑ Preuß, Gerhard (2012-12-06). Theory of Topological Structures: An Approach to Categorical Topology. Springer Science & Business Media. p. 3. ISBN 9789400928596. Search this book on
- ↑ 4.0 4.1 Osborne, M. Scott (2012-12-06). Basic Homological Algebra. Springer Science & Business Media. pp. 151–153. ISBN 9781461212782. Search this book on
- ↑ Knoebel, Arthur (2011-12-16). Sheaves of Algebras over Boolean Spaces. Springer Science & Business Media. p. 59. ISBN 9780817646424. Search this book on
- ↑ 6.0 6.1 Murfet, Daniel (October 5, 2006). "Foundations for Category Theory" (PDF).
- ↑ Herrlich, Horst; Strecker, George (2007). "Appendix. Foundations" (PDF). Category theory (3rd ed.). Heldermann Verlag. pp. 328–3300. Search this book on
- ↑ Nel, Louis (2016-06-03). Continuity Theory. Springer. p. 31. ISBN 9783319311593. Search this book on
- ↑ Laan, Valdis (2003). "Introduction to category theory" (PDF) (Lecture notes). p. 13.
- ↑ 10.0 10.1 10.2 Zhang, Jinwen (1991). "The axiom system ACG and the proof of consistency of the system QM and ZF#". Advances in Chinese Computer Science. 3. pp. 153–171. doi:10.1142/9789812812407_0009. Search this book on
- ↑ Smith, Jan (1998-10-15). Twenty Five Years of Constructive Type Theory. Oxford University Press. pp. 193–194. ISBN 9780198501275. Search this book on
This article "Conglomerate (set theory)" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Conglomerate (set theory). Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.