Assertion: universe | /r/HasProperty | critical importance
Facets:
value: to formalizing concepts
type: PURPOSE
Source sentences:
text: Universes are of critical importance to formalizing concepts in category theory inside set-theoretical foundations.