diff --git a/Tesi.log b/Tesi.log index a70c20b..b38c1fa 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) 19 MAY 2026 15:27 +This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/Arch Linux) (preloaded format=pdflatex 2026.4.6) 19 MAY 2026 15:31 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -861,7 +861,7 @@ Package logreq Info: Writing requests to 'Tesi.run.xml'. Here is how much of TeX's memory you used: 26647 strings out of 469515 568827 string characters out of 5470808 - 1336039 words of memory out of 5000000 + 1337039 words of memory out of 5000000 54941 multiletter control sequences out of 15000+600000 640012 words of font info for 86 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 @@ -885,7 +885,7 @@ exmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb> -Output written on Tesi.pdf (27 pages, 334383 bytes). +Output written on Tesi.pdf (27 pages, 334360 bytes). PDF statistics: 211 PDF objects out of 1000 (max. 8388607) 134 compressed objects within 2 object streams diff --git a/Tesi.pdf b/Tesi.pdf index 78e707e..edf9353 100644 Binary files a/Tesi.pdf and b/Tesi.pdf differ diff --git a/Tesi.synctex.gz b/Tesi.synctex.gz index 364cad8..c9ef6f3 100644 Binary files a/Tesi.synctex.gz and b/Tesi.synctex.gz differ diff --git a/Tesi.tex b/Tesi.tex index a979a01..7b028cb 100644 --- a/Tesi.tex +++ b/Tesi.tex @@ -77,7 +77,7 @@ \arrow[""{name=0, anchor=center, inner sep=0}, "{(h,k)}"', from=2-1, to=4-1] \arrow[""{name=1, anchor=center, inner sep=0}, "h", from=2-3, to=4-3] \arrow[between={0.2}{0.8}, maps to, from=0, to=1] - \end{tikzcd}\] + \end{tikzcd}\]continuous \item a functor $\Pi_2 : (F \downarrow G) \to \mathcal{B}$ (preserving the "$\mathcal{B}$-structure") defined as: % https://q.uiver.app/#q=WzAsNixbMCwxLCIoQSxCLGYpIl0sWzAsMywiKEEnLEInLGYnKSJdLFsyLDEsIkIiXSxbMiwzLCJCJyJdLFswLDAsIihGXFxkb3duYXJyb3cgRykiXSxbMiwwLCJcXG1hdGhjYWx7Qn0iXSxbMCwxLCIoaCxrKSIsMl0sWzIsMywiayJdLFs0LDUsIlxcUGlfMiJdLFs2LDcsIiIsMix7InNob3J0ZW4iOnsic291cmNlIjoyMCwidGFyZ2V0IjoyMH0sImxldmVsIjoxLCJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJtYXBzIHRvIn19fV1d \[\begin{tikzcd}