hmemcpy/milewski-ctfp-pdf
1
1
Fork 0
mirror of https://github.com/hmemcpy/milewski-ctfp-pdf.git synced 2024-11-30 02:03:47 +03:00
Code Issues Projects Releases Wiki Activity

Fix component in triangular identities

Browse Source
This commit is contained in:
Bartosz Milewski 2018-07-09 22:10:54 -07:00
parent 944ddf2220
commit d2c28bbf16
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/content/3.2/Adjunctions.tex
View File

@ -179,7 +179,7 @@ transformations, and their composition is the horizontal composition of
natural transformations. In components, these identities become: natural transformations. In components, these identities become:
\begin{gather*} \begin{gather*}
\varepsilon_{L d} \circ L \eta_d = \id_{L d} \\ \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*} \end{gather*}
We often see unit and counit in Haskell under different names. Unit is We often see unit and counit in Haskell under different names. Unit is
known as \code{return} (or \code{pure}, in the definition of known as \code{return} (or \code{pure}, in the definition of