From 006c57fdeb81d97b1ee222d14346e3844df343f5 Mon Sep 17 00:00:00 2001
From: Franciszek Malinka <franciszek.malinka@gmail.com>
Date: Wed, 13 Jul 2022 23:06:05 +0200
Subject: Chyba poprawiony dowod 4.4

---
 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 05aa3ed..2bf254c 100644
--- a/sections/preliminaries.tex
+++ b/sections/preliminaries.tex
@@ -363,7 +363,7 @@
   \end{fact}
 
   \begin{proof}
-	Suppose that $\eta_(A)$ is an isomorphism for every $A\in\cC$, where 
+	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
 	$\eta^{-1}_A$.
-- 
cgit v1.2.3