Assertion: isomorphism | /r/HasProperty | an arrow $g
Facets:
Source sentences:
text: An isomorphism in a category is an arrow $fx\to y$ such that there is an arrow $g: