26 lines
1.3 KiB
TeX
26 lines
1.3 KiB
TeX
\relax
|
|
\abx@aux@refcontext{nty/global//global/global/global}
|
|
\@writefile{toc}{\contentsline {section}{\numberline {0.1}Introduction}{2}{}\protected@file@percent }
|
|
\@writefile{toc}{\contentsline {section}{\numberline {0.2}Freyd cover of a category}{2}{}\protected@file@percent }
|
|
\newlabel{completenesscomma}{{0.2.3}{3}{}{definition.0.2.3}{}}
|
|
\newlabel{push_1}{{1}{4}{}{equation.0.1}{}}
|
|
\newlabel{def-u}{{2}{5}{}{equation.0.2}{}}
|
|
\newlabel{x'y'}{{3}{6}{}{equation.0.3}{}}
|
|
\newlabel{x''y''}{{4}{6}{}{equation.0.4}{}}
|
|
\newlabel{pushoutarrinAB}{{5}{6}{}{equation.0.5}{}}
|
|
\newlabel{goalpush}{{6}{6}{}{equation.0.6}{}}
|
|
\newlabel{uAuBarrow}{{7}{7}{}{equation.0.7}{}}
|
|
\newlabel{pull}{{10}{10}{}{equation.0.10}{}}
|
|
\newlabel{pullstart}{{11}{10}{}{equation.0.11}{}}
|
|
\newlabel{cover of bicartesian}{{0.2.6}{11}{}{definition.0.2.6}{}}
|
|
\newlabel{prodgoal}{{13}{12}{}{equation.0.13}{}}
|
|
\newlabel{coverheyting}{{0.2}{14}{}{definition.0.2.8}{}}
|
|
\abx@aux@cite{0}{angiuli2022canonicity}
|
|
\abx@aux@segm{0}{0}{angiuli2022canonicity}
|
|
\newlabel{exp goal}{{14}{15}{}{equation.0.14}{}}
|
|
\newlabel{cover of cc is cc}{{0.2.12}{15}{}{definition.0.2.12}{}}
|
|
\newlabel{pullback condition}{{16}{17}{}{equation.0.16}{}}
|
|
\abx@aux@read@bbl@mdfivesum{A692FE2EF8541C6E6F38713971A59175}
|
|
\abx@aux@defaultrefcontext{0}{angiuli2022canonicity}{nty/global//global/global/global}
|
|
\gdef \@abspage@last{21}
|