f

Exercises/Exercises.aux

@@ -33,3 +33,4 @@
 \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.7}{Question 1.7}}{2}{subsection.1.7}}
 \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.8}{Question 1.8}}{2}{subsection.1.8}}
 \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.9}{Question 1.9}}{2}{subsection.1.9}}
+\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.10}{Question 1.10}}{2}{subsection.1.10}}

Exercises/Exercises.log

-This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2019.7.16)  14 SEP 2020 12:24
+This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2019.7.16)  14 SEP 2020 16:27
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -1210,19 +1210,24 @@ Underfull \hbox (badness 10000) in paragraph at lines 221--222
 
  []
 
+
+Underfull \hbox (badness 10000) in paragraph at lines 223--224
+
+ []
+
 [2]
-Package atveryend Info: Empty hook `BeforeClearDocument' on input line 223.
-Package atveryend Info: Empty hook `AfterLastShipout' on input line 223.
+Package atveryend Info: Empty hook `BeforeClearDocument' on input line 224.
+Package atveryend Info: Empty hook `AfterLastShipout' on input line 224.
  (./Exercises.aux)
-Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 223.
-Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 223.
+Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 224.
+Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 224.
 Package rerunfilecheck Info: File `Exercises.out' has not changed.
 (rerunfilecheck)             Checksum: A44F6145272A25B5598AF9EC9CAF82AB;46.
-Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 223.
+Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 224.
  ) 
 Here is how much of TeX's memory you used:
- 25476 strings out of 492982
- 498281 string characters out of 6134896
+ 25477 strings out of 492982
+ 498296 string characters out of 6134896
  630430 words of memory out of 5000000
  28323 multiletter control sequences out of 15000+600000
  34604 words of font info for 98 fonts, out of 8000000 for 9000
@@ -1236,10 +1241,10 @@ fonts/txsy.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/txfonts/txsyc.
 pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share
 /texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-
 dist/fonts/type1/urw/times/utmri8a.pfb>
-Output written on Exercises.pdf (2 pages, 57297 bytes).
+Output written on Exercises.pdf (2 pages, 57659 bytes).
 PDF statistics:
- 78 PDF objects out of 1000 (max. 8388607)
- 65 compressed objects within 1 object stream
- 19 named destinations out of 1000 (max. 500000)
+ 79 PDF objects out of 1000 (max. 8388607)
+ 66 compressed objects within 1 object stream
+ 20 named destinations out of 1000 (max. 500000)
  21 words of extra memory for PDF output out of 10000 (max. 10000000)
 

Exercises/Exercises.tex

@@ -220,4 +220,5 @@ for $f\in A\times B$ and $g\in B\times C$. Show that \textbf{Rel} satisfies the
 
 \subsection{Question 1.9} (\emph{Harder}) Prove the universal mapping property of free categories on graphs. \hfill \break
 
+\subsection{Question 1.10}  Check that functors compose in an associative way, proving that $\mathbf{Cat}$ is a category. \hfill \break
 \end{document}

Exercises/Exercises.toc

@@ -10,3 +10,4 @@
 \contentsline {subsection}{\tocsubsection {}{1.7}{Question 1.7}}{2}{subsection.1.7}
 \contentsline {subsection}{\tocsubsection {}{1.8}{Question 1.8}}{2}{subsection.1.8}
 \contentsline {subsection}{\tocsubsection {}{1.9}{Question 1.9}}{2}{subsection.1.9}
+\contentsline {subsection}{\tocsubsection {}{1.10}{Question 1.10}}{2}{subsection.1.10}