Isomorfismo
mapeamento biunívoco entre estruturas matemáticas / De Wikipedia, a enciclopédia encyclopedia
Na álgebra abstrata, um isomorfismo[1] é um homomorfismo[2] bijetivo. Duas estruturas matemáticas são ditas isomorfas se há um mapeamento bijetivo entre elas.
Essencialmente, dois objetos são isomorfos se eles são indistinguíveis dado apenas pela seleção de sua característica, e isomorfismo é o mapeamento entre objetos que mostra um relacionamento entre duas propriedades ou operações.
Na Teoria das categorias, um isomorfismo é um morfismo f: X → Y em uma categoria para a qual existe uma "inversa" f −1: Y → X, com a propriedade de que ambas f −1f = idX e f f −1 = idY.[3]