Assertion: isomorphism's inverse | /r/HasProperty | spoken of need
Facets:
Source sentences:
text: The point is that the 'inverse' that is spoken of needs to be a morphism in the same category.