Assertion: small limit | /r/HasProperty | all limits of shape
Facets:
Source sentences:
text: A complete category is a category that has all small limits (i.e. all limits of shape J for every small category J).