Assertion: collection | /r/CapableOf | form proper class
Facets:
Source sentences:
text: In category theory, a category whose collection of objects forms a proper class (or whose collection of morphisms forms a proper class) is called a large category.