# nLab unit of an adjunction

### Context

#### 2-Category theory

2-category theory

# Contents

## Definition

Given an adjunction

$R \mathrlap{\begin{matrix}\underoverset{X}{Y}{\begin{svg} \end{svg}\includegraphics[width=14]{updownarrows}}\end{matrix}}\vdash L\, ,$

there is a natural transformation (or more generally, a $2$-morphism) $\eta\colon id_X \to R \circ L$, called the unit of the adjunction. (This is so called because $R \circ L$ is a monad, which is a kind of monoid object, and $\eta$ is the identity of this monoid. Since ‘identity’ in this context would suggest an identity natural transformation, we use the synonym ‘unit’.)

Similarly, there is $2$-morphism $\epsilon\colon L \circ R \to id_Y$, called the counit of the adjunction. (This is the co-identity of the comonad $L \circ R$.)

## Properties

### General

Unit and counit of an adjunction satisfy the triangle identities.

An adjunct is given by precomposition with a unit or postcomposition with a counit.

### Relation to monads

Every adjunction $(L \dashv R)$ gives rise to a monad $T \coloneqq R \circ L$. The unit of this monad $id \to T$ is the unit of the adjunction, $id \to R \circ L$.

Revised on December 5, 2013 05:51:54 by Urs Schreiber (89.204.138.93)