Assertion: natural transformation | /r/Synonym | natural isomorphism
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.