From 2425cef518799d9f37b4279ddf0e292a3c9e81a4 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Tue, 2 May 2023 16:41:21 +0200
Subject: Nota sobre composición de isomorfismos
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'ch1_cats.tex')

diff --git a/ch1_cats.tex b/ch1_cats.tex
index dc46972..001d421 100644
--- a/ch1_cats.tex
+++ b/ch1_cats.tex
@@ -332,7 +332,8 @@ de homeomorfismo, que viene a ser lo mismo salvo por el cambio de terminología.
 
 Claramente el inverso de un isomorfismo es único, pues si $f:a\to b$ tiene
 inversos $g,h:b\to a$, entonces $g=g\circ 1_b=g\circ f\circ h=1_a\circ h=h$.
-Llamamos entonces $f^{-1}$ a la inversa de $f$.
+Llamamos entonces $f^{-1}$ a la inversa de $f$. Además, la composición de dos
+isomorfismos es un isomorfismo.
 
 \begin{example}
   Algunos isomorfismos:
-- 
cgit v1.2.3