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
|