Assertion: isomorphism | /r/HasProperty | invertible morphism
Facets:
Source sentences:
text: An isomorphism in an arbitrary category is an invertible morphism, that is, a morphism $\def\phi{\varphi}\phi$ for which there exists a morphism $\phi^{-1}$ such that
text: An isomorphism is an invertible morphism, hence a morphism with an inverse morphism.
text: An isomorphism, or iso for short, is an invertible morphism, i.e. a morphism with a 2-sided inverse.