Conglomerate (mathematics)

In mathematics, in the framework of a one-universe foundation for category theory, the term conglomerate is applied to arbitrary sets as a contraposition to the distinguished sets that are elements of a Grothendieck universe. == 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 U {\displaystyle U} .

Source: Wikipedia — Conglomerate (mathematics) (CC BY-SA 4.0)

Conglomerate (mathematics)

In mathematics, in the framework of a one-universe foundation for category theory, the term conglomerate is applied to arbitrary sets as a contraposition to the distinguished sets that are elements of a Grothendieck universe. == 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 U {\displaystyle U} .

This neuron ends here.

Source: Wikipedia "Conglomerate (mathematics)" · CC BY-SA 4.0

Share this article: X · Bluesky
Privacy Policy