Assertion: isomorphism | /r/HasProperty | morphism f
Facets:
value: in category theory
type: OTHER
Source sentences:
text: In category theory, an isomorphism is a morphism f: