diff --git a/src/content/3.2/adjunctions.tex b/src/content/3.2/adjunctions.tex index 89395d1d..e18ef830 100644 --- a/src/content/3.2/adjunctions.tex +++ b/src/content/3.2/adjunctions.tex @@ -271,7 +271,7 @@ \section{Adjunctions and Hom-Sets} we have two objects in $\cat{D}$, $d$ and $R c$. They, too, define a hom set: \[\cat{D}(d, R c)\] -We say that $L$ is left adjoint to $R$ if there is an +We say that $L$ is left adjoint to $R$ iff there is an isomorphism of hom sets: \[\cat{C}(L d, c) \cong \cat{D}(d, R c)\] that is natural both in $d$ and $c$.