Definition, synonyms and related words
In an adjunction, a natural transformation from the composition of the left adjoint functor with the right adjoint functor to the identity functor of the domain of the right adjoint functor.