From 6d05255a2d0936c025907c7b329de6a836ab7408 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Sun, 18 Jun 2023 13:42:00 +0200
Subject: Correcciones adjunciones y mónadas
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ch1_cats.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ch1_cats.tex')

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$.
-- 
cgit v1.2.3