Isomorphism

An isomorphism in Category Theory is a pair of morphisms a -> b and b -> a which are inverses of one another and, when composed, create the identity morphism. ¹