Assertion: universe's object | /r/HasProperty | direct generalization
Facets:
Source sentences:
text: Free objects are the direct generalization to categories of the notion of basis in a vector space.