conglomerate (mathematics)

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 $U$. 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 $U$ is added to the chosen axiomatic set theory (ZFC/NBG/MK) it is considered convenient

• to apply the term "set" only to elements of $U$,
• to apply the term "class" only to subsets of $U$,
• to apply the term "conglomerate" to all sets (not necessary elements or subsets of $U$).

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

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 $U$ as the universe.{{rp|195 }}{{rp|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 $Set$ 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 $U$) 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 $U$, including subsets that are not elements of $U$, 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.

The change in terminology is sometimes called "conglomerate convention".{{rp|6}}

The first step, made by Mac Lane,{{rp|195 }}{{rp|23}} is to apply the term "class" only to subsets of $U.$ 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 $U$ "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 ReviewsReviews [https://mathscinet.ams.org/mathscinet-getitem?mr=327623 48#5965], [https://mathscinet.ams.org/mathscinet-getitem?mr=445458 56#3798], [https://mathscinet.ams.org/mathscinet-getitem?mr=593925 82f:18003], [https://mathscinet.ams.org/mathscinet-getitem?mr=596862 83d:18010], [https://mathscinet.ams.org/mathscinet-getitem?mr=682951 84c:54045], [https://mathscinet.ams.org/mathscinet-getitem?mr=830817 87m:18001] without definition, explanation or reference, and sometimes in papers.Reviewed: [https://mathscinet.ams.org/mathscinet-getitem?mr=911687 89e:18002], [https://mathscinet.ams.org/mathscinet-getitem?mr=1309297 96g:18002]

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.{{rp|6}}

{{reflist|refs=

{{cite book |title=Reports of the Midwest Category Seminar III. Lecture Notes in Mathematics, vol 106 |volume=106 |first=Saunders |last=Mac Lane |author-link=Saunders Mac Lane |year=1969 |publisher=Springer, Berlin, Heidelberg |pages=192–200 |chapter=One universe as a foundation for category theory |isbn=978-3-540-04625-7 |ref=ML1969|doi=10.1007/BFb0059147 }}

{{cite book |title=Categories for the Working Mathematician |title-link=Categories for the Working Mathematician |series=Graduate Texts in Mathematics |volume=5 |edition=Second |first=Saunders |last=Mac Lane |author-link=Saunders Mac Lane |year=1998 |publisher=Springer, New York, NY |isbn=978-0-387-90036-0 |ref=ML1998}}

{{cite book |last1=Adamek |first1=Jiri |last2=Herrlich |first2=Horst |author-link2=Horst Herrlich |last3=Strecker |first3=George |year=1990 |title=Abstract and Concrete Categories: The Joy of Cats|publisher=Dover Publications |url=http://katmat.math.uni-bremen.de/acc/acc.pdf |isbn=978-0-486-46934-8 |pages=13,15,16,259}}

{{cite book |last1=Herrlich |first1=Horst |author-link1=Horst Herrlich|last2=Strecker |first2=George |year=2007 |title=Category theory |chapter=Sets, classes, and conglomerates |chapter-url=http://www.heldermann.de/SSPM/SSPM01/Chapter-2.pdf |url=http://www.heldermann.de/SSPM/SSPM01/sspm01.htm |publisher= Heldermann Verlag |edition=3rd |pages=9–12}}

{{cite book|last1=Herrlich|first1=Horst|last2=Strecker|first2=George|year=2007|title=Category theory|chapter=Appendix. Foundations|chapter-url=http://www.heldermann.de/SSPM/SSPM01/Foundations.pdf|url=http://www.heldermann.de/SSPM/SSPM01/sspm01.htm|publisher= Heldermann Verlag|edition=3rd|pages=328–3300}}

{{Cite web|url=http://therisingsea.org/notes/FoundationsForCategoryTheory.pdf|title=Foundations for Category Theory|last=Murfet|first=Daniel|date=October 5, 2006}}

{{Cite book|url=https://books.google.com/books?id=_JdPDAAAQBAJ&pg=PA31|title=Continuity Theory|last=Nel|first=Louis|date=2016-06-03|publisher=Springer|isbn=9783319311593|pages=31|language=en}}

{{Cite book|url=https://books.google.com/books?id=8tbiBwAAQBAJ&pg=PA153|title=Basic Homological Algebra|last=Osborne|first=M. Scott|date=2012-12-06|publisher=Springer Science & Business Media|isbn=9781461212782|pages=151–153|language=en}}

{{Cite book|url=https://books.google.com/books?id=4iTpCAAAQBAJ&pg=PA3|title=Theory of Topological Structures: An Approach to Categorical Topology|last=Preuß|first=Gerhard|date=2012-12-06|publisher=Springer Science & Business Media|isbn=9789400928596|pages=3|language=en}}

{{Cite book|chapter=The axiom system ACG and the proof of consistency of the system QM and ZF#|title=Advances in Chinese Computer Science|chapter-url=https://books.google.com/books?id=J2o73MCliJUC&pg=PA157|last=Zhang|first=Jinwen|volume=3|pages=153–171|doi=10.1142/9789812812407_0009|year=1991|isbn=978-981-02-0152-4}}

}}

{{Category theory}}

Category:Higher category theory

Category:Set theory