Definition talk:Isomorphism (Category Theory)

Someone added a WIP to transclude 'Inverse Morphism' into 'Isomoprhism'. Aren't the two more or less synonymous? If so, I think it would be better to say in the definition of 'Isomorphism' it's also called 'Inverse Morphism' and create a redirection from that page to 'Isomorphism'. --NightRa (talk) 18:38, 11 October 2014 (UTC)


 * No, the existence of an inverse morphism is intimately related to, but clearly separated from, being an inverse morphism. So the two ought to be apart, but are close enough that a transclusion should be considered. &mdash; Lord_Farin (talk) 18:40, 11 October 2014 (UTC)


 * So if I understand correctly, the existance of an inverse morphism for $f$ implies it's an isomorphism. --NightRa (talk) 18:45, 11 October 2014 (UTC)


 * Exactly, and vice versa. &mdash; Lord_Farin (talk) 18:50, 11 October 2014 (UTC)