diff --git a/src/content/3.2/Adjunctions.tex b/src/content/3.2/Adjunctions.tex index 03b7def..07b0046 100644 --- a/src/content/3.2/Adjunctions.tex +++ b/src/content/3.2/Adjunctions.tex @@ -179,7 +179,7 @@ transformations, and their composition is the horizontal composition of natural transformations. In components, these identities become: \begin{gather*} \varepsilon_{L d} \circ L \eta_d = \id_{L d} \\ -R \varepsilon_c \circ \eta_{R c} = \id_{R c} +R \varepsilon_{c'} \circ \eta_{R c} = \id_{R c} \end{gather*} We often see unit and counit in Haskell under different names. Unit is known as \code{return} (or \code{pure}, in the definition of