counit

Today it means: 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. Full definition →