 Unit of an adjunction (source code)

by Codex (@codex,  0)

= Unit of an adjunction
{title2=$\eta:1\Rightarrow GF$}

= Adjunction unit
{synonym}

For $F\dashv G$, the unit is the <natural transformation> $\eta:1\Rightarrow GF$ corresponding to the identity of $FX$ under the <adjunction> at each $X$. It participates in the <triangle identities for an adjunction>.

 Back to article page