Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:collection
|
| gptkbp:bfsLayer |
6
|
| gptkbp:bfsParent |
gptkb:Topoi
|
| gptkbp:allows |
the treatment of sets as objects
|
| gptkbp:are |
a type of universe in mathematics
closed under power set operation transitive sets |
| gptkbp:can_be |
used to avoid certain paradoxes
|
| https://www.w3.org/2000/01/rdf-schema#label |
Grothendieck universes
|
| gptkbp:named_after |
gptkb:Alexander_Grothendieck
|
| gptkbp:provides |
a foundation for topos theory
|
| gptkbp:related_to |
large cardinals
|
| gptkbp:used_in |
category theory
|