diff --git a/Tesi.log b/Tesi.log index 1da701b..fb8dc03 100644 --- a/Tesi.log +++ b/Tesi.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.4.6) 15 MAY 2026 19:11 +This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.4.6) 15 MAY 2026 20:28 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -875,7 +875,7 @@ exmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb> -Output written on Tesi.pdf (21 pages, 323499 bytes). +Output written on Tesi.pdf (21 pages, 323585 bytes). PDF statistics: 192 PDF objects out of 1000 (max. 8388607) 121 compressed objects within 2 object streams diff --git a/Tesi.pdf b/Tesi.pdf index 0064a95..62d365a 100644 Binary files a/Tesi.pdf and b/Tesi.pdf differ diff --git a/Tesi.synctex.gz b/Tesi.synctex.gz index aa4c83e..9b5770b 100644 Binary files a/Tesi.synctex.gz and b/Tesi.synctex.gz differ diff --git a/Tesi.tex b/Tesi.tex index 2965f18..222cd1b 100644 --- a/Tesi.tex +++ b/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}