Assertion: natural transformation | /r/HasProperty | a morphism of functors
Facets:
Source sentences:
text: Hence, a natural transformation can be considered to be a "morphism of functors".