Assertion: isomorphism's inverse | /r/HasProperty | morphism
Facets:
value: in algebra
type: LOCATION
Source sentences:
text: In the more general context of category theory, an isomorphism is defined as a morphism, which has an inverse that is also a morphism.
text: A fundamental difference between algebra and topology is that in algebra any morphism (homomorphism) which is 1-1 and onto is an isomorphism - i.e., its inverse is a morphism.