An isomorphism is a bijective map f such that both f and its inverse f are homomorphisms, i.e. , structure-preserving mappings. In the more general setting of category theory, an isomorphism is a morphism f: X → Y in a category for which there exists an "inverse" f: Y → X, with the property that both ff = idX and f f = idY.
OmegaWiki Dictionary
Ω
isomorphism A bijective map f such that both f and its inverse f' are homomorphisms, i.e., structure-preserving mappings.
