Correcciones adjunciones y mónadas

1 files changed, 1 insertions, 1 deletions

diff --git a/ch1_cats.tex b/ch1_cats.tex
index c8a2520..f2485ae 100644
--- a/ch1_cats.tex
+++ b/ch1_cats.tex
@@ -613,7 +613,7 @@ correspondiente para epimorfismos.
     suprayectivos.
   \item No en todas las variedades algebraicas los epimorfismos son
     suprayectivos. Por ejemplo, en $\bRing$, la inclusión $u:\sInt\to\sRat$ es
-    suprayectiva, pues si $f,g:\sRat\to R$ cumplen que
+    un monomorfismo, pues si $f,g:\sRat\to R$ cumplen que
     $f\circ u=g\circ u:\sInt\to R$, para $x,y\in\sInt$,
     $f(\frac xy)=\frac{f(x)}{f(y)}=\frac{(f\circ u)(x)}{(f\circ u)(y)}$, y lo
     mismo ocurre con $g$, luego $f=g$.