Criptomorfismo
From Wikipedia, the free encyclopedia
En matemáticas, dos objetos, especialmente sistemas de axiomas, son llamados criptomorfos si son equivalentes pero no obviamente equivalentes. Esta palabra es un derivado de los múltiples morfismos en matemáticas, pero el "criptomorfismo" está solo vagamente relacionado al concepto de "isomorfismo","homomorfismo" o "morfismo". La equivalencia puede considerarse posible en un sentido informal, o puede ser formalizada en términos de una biyección o una equivalencia de categorías entre los objetos matemáticos definidos por los dos sistemas axiomáticos criptomorfos.
El término fue acuñado por Garret Birkhoff antes de 1967, a fin de emplearlo en la tercera edición de su libro Laticce Theory. Birkhoff no dio una definición formal del término, aunque otros investigadores del mismo campo han tratado de hacerlo en diversas ocasiones.
