In abstract algebra, an isomorphism (Greek: ison "equal", and morphe "shape") is a bijective map f such that both f and its inverse f −1 are homomorphisms, for example, 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 −1:Y→X, with the property that both f −1f=idX and ff −1=idY. Informally, an isomorphism is a kind of mapping between objects,… (More on Isomorphism)