LARA

Isomorphism

Isomorphism is a bijection between two collection of entities which preserves structure.

If the entities have no structure, isomorphism is simply a bijection.

If entities are graphs, we have graph isomorphism.

Many cases of isomorphism can be explained as

  • isomorphism of algebraic structures (groups, fields, etc.)
  • more generally, isomorphisms of models of first-order logic formulas