Unit and counit of an adjunction
ID: unit-and-counit-of-an-adjunction
For , the unit and counit are the natural transformations corresponding to identity morphisms under the adjunction. They satisfy and .
New to topics? Read the docs here!
New to topics? Read the docs here!