Assertion: universe's object | /r/CapableOf | set set
Facets:
Source sentences:
text: Both the object set and the morphism set are sets, so it becomes possible to discuss the category of "all" sets without invoking proper classes.