Assertion: isomorphism | /r/DefinedAs | invertible morphism
Facets:
value: equivalently
type: MANNER
value: in the category of groups
type: OTHER
Source sentences:
text: An isomorphism of groups may equivalently be defined as an invertible morphism in the category of groups, where invertible here means has a two-sided inverse.