View source

An '''isomorphism''' is a [[bijective]] [[homomorphism]] whose inverse is also homomorphism.  If <math>A</math> and <math>B</math> are objects in a certain [[Category (category theory)|category]] such that there exists an isomorphism <math>A\to B</math>, then <math>A</math> and <math>B</math> are said to be '''isomorphic'''.  Informally speaking, two isomorphic objects can be considered to be two superficially different versions of the same object.  Isomorphic objects cannot be distinguished by universal mapping properties.


{{stub}}

[[Category:Abstract algebra]]
[[Category:Category theory]]