Assertion: universe | /r/HasProperty | connected with category theory
Facets:
value: historically
type: TEMPORAL
Source sentences:
text: There is another approach to universes which is historically connected with category theory.