diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2023-05-02 16:41:21 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2023-05-02 16:41:21 +0200 |
| commit | 2425cef518799d9f37b4279ddf0e292a3c9e81a4 (patch) | |
| tree | d193bad208078b161a2a82132d6213f975fca348 /ch1_cats.tex | |
| parent | a1debf35b18991505963013d8d4bf9e3cfd9847c (diff) | |
Nota sobre composición de isomorfismos
Diffstat (limited to 'ch1_cats.tex')
| -rw-r--r-- | ch1_cats.tex | 3 |
1 files changed, 2 insertions, 1 deletions
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: |