isomorphism

In category theory an isomorphism is a morphism between two (possibly equal) objects admitting a morphism in the opposite direction such that composing the two morphisms in either order results in an identity morphism. Intuitively it is an identification of one object with another.

In the category of sets and functions isomorphisms are precisely the bijections.

by 27182818284tropy June 26, 2025