aboutsummaryrefslogtreecommitdiff
path: root/sections/preliminaries.tex
diff options
context:
space:
mode:
authorFranciszek Malinka <franciszek.malinka@gmail.com>2022-07-13 23:09:49 +0200
committerFranciszek Malinka <franciszek.malinka@gmail.com>2022-07-13 23:09:49 +0200
commitae1c456f6467a50427fc485ec5ae163495ea0e52 (patch)
tree9232df9cc8d6a218648199dea6d27490d24374cb /sections/preliminaries.tex
parent006c57fdeb81d97b1ee222d14346e3844df343f5 (diff)
Ortografia
Diffstat (limited to 'sections/preliminaries.tex')
-rw-r--r--sections/preliminaries.tex2
1 files changed, 1 insertions, 1 deletions
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$.