Counit of an adjunction
ID: counit-of-an-adjunction
For , the counit is the natural transformation corresponding to the identity of under the adjunction at each . It participates in the triangle identities for an adjunction.
New to topics? Read the docs here!