 In category theory the 'naturality' of the bijection is subsumed in the concept of a natural isomorphism.If one starts looking for these adjoint pairs of functors, they turn out to be very common in abstract algebra, and elsewhere as well.The example section below provides evidence of this; furthermore, universal constructions, which may be more familiar to some, give rise to numerous adjoint pairs of functors.