Grothendieck universe

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf set-theoretic concept
gptkbp:appearsIn gptkb:SGA_(Séminaire_de_Géométrie_Algébrique)
gptkbp:defines A set U is a Grothendieck universe if it is non-empty, transitive, and closed under pair sets, power sets, and unions indexed by elements of U.
gptkbp:hasAxiom gptkb:Grothendieck_universe_axiom
gptkbp:heldBy gptkb:box_set
https://www.w3.org/2000/01/rdf-schema#label Grothendieck universe
gptkbp:namedAfter gptkb:Alexander_Grothendieck
gptkbp:property transitive set
closed under indexed unions
closed under pairwise unions
closed under power sets
contains all elements of its elements
contains the empty set
gptkbp:relatedTo large cardinal
inaccessible cardinal
gptkbp:symbol U
gptkbp:usedFor avoiding set-theoretic paradoxes
defining large categories
foundations of category theory
gptkbp:usedIn gptkb:algebraic_geometry
gptkb:category_theory
gptkbp:bfsParent gptkb:Alexander_Grothendieck
gptkb:Set_theory
gptkbp:bfsLayer 5