Assertion: natural transformation | /r/HasProperty | $\eta$
Facets:
Source sentences:
text: When this is the case, the natural transformation $\eta$ is called a natural isomorphism, and $F$ and $G$ are said to be naturally isomorphic.