Assertion: commutative ring | /r/CapableOf | form category
Facets:
Source sentences:
text: Commutative rings, together with ring homomorphisms, form a category.