Assertion: universe | /r/HasProperty | collection
Facets:
value: in set theory
type: OTHER
value: in the foundations of mathematics
type: LOCATION
value: in mathematics
type: OTHER
Source sentences:
text: In mathematics, and particularly in set theory, category theory, type theory, and the foundations of mathematics, a universe is a collection that contains all the entities one wishes to consider in a given situation.