Assertion: isomorphism | /r/HasProperty | arrow
Facets:
value: with an inverse arrow
type: OTHER
Source sentences:
text: An isomorphism in a category is an arrow $fx\to y$ such that there is an arrow $g:
text: Serge Lang liked to categorise with extreme generality the notion of isomorphism through category theory: an isomorphism is an arrow with an inverse arrow.