33 lines
1.8 KiB
TeX
33 lines
1.8 KiB
TeX
\relax
|
|
\abx@aux@refcontext{nty/global//global/global/global}
|
|
\@writefile{toc}{\contentsline {chapter}{\numberline {0}Introduction}{3}{}\protected@file@percent }
|
|
\@writefile{lof}{\addvspace {10\p@ }}
|
|
\@writefile{lot}{\addvspace {10\p@ }}
|
|
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Freyd Cover}{5}{}\protected@file@percent }
|
|
\@writefile{lof}{\addvspace {10\p@ }}
|
|
\@writefile{lot}{\addvspace {10\p@ }}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Freyd cover of a category}{5}{}\protected@file@percent }
|
|
\newlabel{completenesscomma}{{1.1.3}{6}{}{definition.1.1.3}{}}
|
|
\newlabel{push_1}{{1.1}{7}{}{equation.1.1}{}}
|
|
\newlabel{def-u}{{1.2}{8}{}{equation.1.2}{}}
|
|
\newlabel{x'y'}{{1.3}{9}{}{equation.1.3}{}}
|
|
\newlabel{x''y''}{{1.4}{9}{}{equation.1.4}{}}
|
|
\newlabel{pushoutarrinAB}{{1.5}{9}{}{equation.1.5}{}}
|
|
\newlabel{goalpush}{{1.6}{9}{}{equation.1.6}{}}
|
|
\newlabel{uAuBarrow}{{1.7}{10}{}{equation.1.7}{}}
|
|
\newlabel{pull}{{1.10}{13}{}{equation.1.10}{}}
|
|
\newlabel{pullstart}{{1.11}{13}{}{equation.1.11}{}}
|
|
\newlabel{cover of bicartesian}{{1.1.6}{14}{}{definition.1.1.6}{}}
|
|
\newlabel{prodgoal}{{1.13}{15}{}{equation.1.13}{}}
|
|
\newlabel{coverheyting}{{1.1}{17}{}{definition.1.1.8}{}}
|
|
\newlabel{exp goal}{{1.14}{18}{}{equation.1.14}{}}
|
|
\newlabel{global section in cover rmk}{{1.1.9}{18}{}{definition.1.1.9}{}}
|
|
\abx@aux@cite{0}{angiuli2022canonicity}
|
|
\abx@aux@segm{0}{0}{angiuli2022canonicity}
|
|
\newlabel{cover of cc is cc}{{1.1.13}{19}{}{definition.1.1.13}{}}
|
|
\newlabel{pullback condition}{{1.16}{20}{}{equation.1.16}{}}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Application to Logic}{24}{}\protected@file@percent }
|
|
\abx@aux@read@bbl@mdfivesum{A692FE2EF8541C6E6F38713971A59175}
|
|
\abx@aux@defaultrefcontext{0}{angiuli2022canonicity}{nty/global//global/global/global}
|
|
\gdef \@abspage@last{27}
|