Exercises.aux

\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@writefile{toc}{\contentsline {section}{\tocsection {}{1}{Instructions}}{1}{section.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.1}{}}{1}{subsection.1.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{1.2}{}}{1}{subsection.1.2}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{2}{Week 1}}{2}{section.2}}
\newlabel{Rel}{{2.1}{2}{}{subsection.2.1}{}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.1}{}}{2}{subsection.2.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.2}{}}{3}{subsection.2.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.3}{}}{3}{subsection.2.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.4}{}}{3}{subsection.2.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.5}{}}{4}{subsection.2.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.6}{}}{4}{subsection.2.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.7}{}}{4}{subsection.2.7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.8}{}}{4}{subsection.2.8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.9}{}}{5}{subsection.2.9}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.10}{}}{5}{subsection.2.10}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{2.11}{}}{5}{subsection.2.11}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{3}{Discussion: Week 1}}{6}{section.3}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{Week 2}}{7}{section.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.1}{}}{7}{subsection.4.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.2}{}}{7}{subsection.4.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.3}{}}{7}{subsection.4.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.4}{}}{9}{subsection.4.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.5}{}}{9}{subsection.4.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.6}{}}{9}{subsection.4.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.7}{}}{9}{subsection.4.7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.8}{}}{10}{subsection.4.8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.9}{}}{10}{subsection.4.9}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.10}{}}{10}{subsection.4.10}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.11}{}}{11}{subsection.4.11}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.12}{}}{11}{subsection.4.12}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.13}{}}{11}{subsection.4.13}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{4.14}{}}{11}{subsection.4.14}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{5}{Discussion: Week 2}}{12}{section.5}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{6}{Week 3}}{13}{section.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.1}{}}{13}{subsection.6.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.2}{}}{15}{subsection.6.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.3}{}}{15}{subsection.6.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.4}{}}{16}{subsection.6.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.5}{}}{16}{subsection.6.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.6}{}}{17}{subsection.6.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.7}{}}{17}{subsection.6.7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.8}{}}{17}{subsection.6.8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{6.9}{}}{17}{subsection.6.9}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{7}{Week 4}}{17}{section.7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.1}{}}{17}{subsection.7.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.2}{}}{18}{subsection.7.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.3}{}}{19}{subsection.7.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.4}{}}{20}{subsection.7.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.5}{}}{20}{subsection.7.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Pull-back Functor}}{20}{section*.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.6}{}}{21}{subsection.7.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{7.7}{}}{21}{subsection.7.7}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{8}{Week 5}}{21}{section.8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.1}{}}{21}{subsection.8.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.2}{}}{22}{subsection.8.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.3}{}}{22}{subsection.8.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.4}{}}{22}{subsection.8.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.5}{}}{23}{subsection.8.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{8.6}{}}{23}{subsection.8.6}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{9}{Discussion: Week 5}}{23}{section.9}}
\newlabel{Heyting Alg}{{9.1}{24}{Discussion: Week 5}{equation.9.1}{}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{10}{Week 6}}{25}{section.10}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.1}{}}{25}{subsection.10.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.2}{}}{26}{subsection.10.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.3}{}}{26}{subsection.10.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.4}{}}{27}{subsection.10.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.5}{}}{27}{subsection.10.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.6}{}}{27}{subsection.10.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.7}{}}{29}{subsection.10.7}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.8}{}}{30}{subsection.10.8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{10.9}{}}{30}{subsection.10.9}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{11}{The Yoneda Lemma}}{30}{section.11}}
\@writefile{toc}{\contentsline {section}{\tocsection {}{12}{Week 7}}{35}{section.12}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.1}{}}{35}{subsection.12.1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.2}{}}{35}{subsection.12.2}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.3}{}}{35}{subsection.12.3}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.4}{}}{35}{subsection.12.4}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.5}{}}{35}{subsection.12.5}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.6}{}}{35}{subsection.12.6}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.7}{}}{35}{subsection.12.7}}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{0pt}
\newlabel{tocindent1}{22.5pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.8}{}}{36}{subsection.12.8}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{12.9}{}}{36}{subsection.12.9}}