Unit of an adjunction
ID: unit-of-an-adjunction
For , the unit 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!