sistemati typo

Tesi.tex

@@ -747,9 +747,9 @@
 				\end{tikzcd}\]
 				where $F\cdot f: X \to \Gamma (FA)$  is the set function defined sending $x \in X$ into the global setion of $FA$ given by $F( f(x)) : 1_\mathcal{B} \to FA$    
 			\begin{proof}
-				By lemma \ref{cover of cc is cc} $Cov(-)$ exentend to a class function from \textbf{biCC} to itself. Then notice that the action of $Cov(-)$ over arrows of \textbf{biCC} is well defined since the commutativity condition of the arrow is preserved under the action of $F$. Indeed 
+				By lemma \ref{cover of cc is cc} $Cov(-)$ exentend to a class function from \textbf{biCC} to itself. Then notice that the action of $Cov(-)$ over arrows of \textbf{biCC} is well defined since the commutativity condition of the arrow is preserved under the action of $F$. Indeed by definition of $F \cdot f$ and $F \cdot g$ we have:
 				\[
-				Ff : 
+				(F \cdot g) \circ h = F(\Gamma k) \circ (F \cdot f)
 				\]
 			\end{proof}
 			\end{proposition}