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!