Assertion: natural transformation | /r/HasProperty | isomorphic
Facets:
value: naturally
type: MANNER
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.