Assertion: natural transformation | /r/HasProperty | morphism
Facets:
value: simply
type: MANNER
Source sentences:
text: Then a natural transformation from $F$ to $G$ is simply a morphism $d\overset{\eta}{\longrightarrow} d'$.