Assertion: isomorphism | /r/CapableOf | define natural transformation
Facets:
Source sentences:
text: These isomorphisms are "natural" in the sense that they define a natural transformation between the two involved functors Ab op × Ab op × Ab