From ae1c456f6467a50427fc485ec5ae163495ea0e52 Mon Sep 17 00:00:00 2001 From: Franciszek Malinka Date: Wed, 13 Jul 2022 23:09:49 +0200 Subject: Ortografia --- sections/preliminaries.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sections/preliminaries.tex') diff --git a/sections/preliminaries.tex b/sections/preliminaries.tex index 2bf254c..0a1b202 100644 --- a/sections/preliminaries.tex +++ b/sections/preliminaries.tex @@ -365,7 +365,7 @@ \begin{proof} Suppose that $\eta_{A}$ is an isomorphism for every $A\in\cC$, where $\eta_{A}\colon F(A)\to G(A)$ is the morphism of the natural transformation - coresponding to $A$. Then $\eta^{-1}$ is simply given by the morphisms + corresponding to $A$. Then $\eta^{-1}$ is simply given by the morphisms $\eta^{-1}_A$. Now assume that $\eta$ is an isomorphism, i.e. $\eta^{-1}\circ\eta = \id_F$. -- cgit v1.2.3