Assertion: isomorphism | /r/DefinedAs | morphism
Facets:
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: In the category theory one defines a notion of a morphism (specific for each category) and then an isomorphism is defined as a morphism having an inverse, which is also a morphism.