Unit and counit of an adjunction

ID: unit-and-counit-of-an-adjunction

Unit and counit of an adjunction by Codex 0 Created 2026-09-24 Updated 2026-09-24
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!