\relax 
\providecommand\hyper@newdestlabel[2]{}
\citation{ls:1var-adjoint-logic}
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Unary type theories}{19}{chapter.1}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap:unary}{{1}{19}{Unary type theories}{chapter.1}{}}
\newlabel{chap:unary@cref}{{[chapter][1][]1}{[1][19][]19}}
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Posets}{19}{section.1.1}\protected@file@percent }
\newlabel{sec:poset}{{1.1}{19}{Posets}{section.1.1}{}}
\newlabel{sec:poset@cref}{{[section][1][1]1.1}{[1][19][]19}}
\@writefile{brf}{\backcite{ls:1var-adjoint-logic}{{19}{1}{Hfootnote.3}}}
\newlabel{thm:poset-initial-1}{{1.1.1}{21}{}{thm.1.1.1}{}}
\newlabel{thm:poset-initial-1@cref}{{[thm][1][1,1]1.1.1}{[1][21][]21}}
\newlabel{thm:poset-initial-2}{{1.1.2}{23}{}{thm.1.1.2}{}}
\newlabel{thm:poset-initial-2@cref}{{[thm][2][1,1]1.1.2}{[1][23][]23}}
\@writefile{toc}{\contentsline {section}{\numberline {1.2}Categories}{23}{section.1.2}\protected@file@percent }
\newlabel{sec:categories}{{1.2}{23}{Categories}{section.1.2}{}}
\newlabel{sec:categories@cref}{{[section][2][1]1.2}{[1][23][]23}}
\newlabel{eq:assoc}{{1.2.1}{24}{Categories}{equation.1.2.1}{}}
\newlabel{eq:assoc@cref}{{[equation][1][1,2]1.2.1}{[1][23][]24}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.1}Primitive cuts}{24}{subsection.1.2.1}\protected@file@percent }
\newlabel{sec:category-cutful}{{1.2.1}{24}{Primitive cuts}{subsection.1.2.1}{}}
\newlabel{sec:category-cutful@cref}{{[subsection][1][1,2]1.2.1}{[1][24][]24}}
\newlabel{thm:category-tad}{{1.2.2}{26}{}{lem.1.2.2}{}}
\newlabel{thm:category-tad@cref}{{[lem][2][]1.2.2}{[1][26][]26}}
\newlabel{thm:category-initial-1}{{1.2.4}{27}{}{thm.1.2.4}{}}
\newlabel{thm:category-initial-1@cref}{{[thm][4][1,2]1.2.4}{[1][27][]27}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2.2}Cut admissibility}{28}{subsection.1.2.2}\protected@file@percent }
\newlabel{sec:category-cutadm}{{1.2.2}{28}{Cut admissibility}{subsection.1.2.2}{}}
\newlabel{sec:category-cutadm@cref}{{[subsection][2][1,2]1.2.2}{[1][27][]28}}
\newlabel{thm:category-cutadm}{{1.2.5}{28}{}{thm.1.2.5}{}}
\newlabel{thm:category-cutadm@cref}{{[thm][5][1,2]1.2.5}{[1][28][]28}}
\newlabel{rmk:admissible-derivable-1}{{1.2.6}{29}{}{rmk.1.2.6}{}}
\newlabel{rmk:admissible-derivable-1@cref}{{[rmk][6][]1.2.6}{[1][29][]29}}
\newlabel{thm:category-cutelim}{{1.2.7}{29}{}{thm.1.2.7}{}}
\newlabel{thm:category-cutelim@cref}{{[thm][7][1,2]1.2.7}{[1][29][]29}}
\newlabel{eq:category-sub-1}{{1.2.9}{33}{Cut admissibility}{equation.1.2.9}{}}
\newlabel{eq:category-sub-1@cref}{{[equation][9][1,2]1.2.9}{[1][33][]33}}
\newlabel{eq:category-sub-2}{{1.2.10}{33}{Cut admissibility}{equation.1.2.10}{}}
\newlabel{eq:category-sub-2@cref}{{[equation][10][1,2]1.2.10}{[1][33][]33}}
\newlabel{thm:category-subassoc}{{1.2.12}{34}{}{lem.1.2.12}{}}
\newlabel{thm:category-subassoc@cref}{{[lem][12][]1.2.12}{[1][34][]34}}
\newlabel{thm:category-initial-2}{{1.2.13}{34}{}{thm.1.2.13}{}}
\newlabel{thm:category-initial-2@cref}{{[thm][13][1,2]1.2.13}{[1][34][]34}}
\newlabel{sec:identifying-initial-objects}{{1.2.2}{36}{Cut admissibility}{thm.1.2.13}{}}
\newlabel{sec:identifying-initial-objects@cref}{{[subsection][2][1,2]1.2.2}{[1][35][]36}}
\newlabel{rmk:admissible-derivable-2}{{1.2.14}{36}{}{rmk.1.2.14}{}}
\newlabel{rmk:admissible-derivable-2@cref}{{[rmk][14][]1.2.14}{[1][36][]36}}
\newlabel{rmk:free}{{1.2.14}{36}{}{rmk.1.2.14}{}}
\newlabel{rmk:free@cref}{{[rmk][14][]1.2.14}{[1][36][]36}}
\newlabel{ex:categories-over}{{1.2.1}{36}{}{@ex.1.2.1}{}}
\newlabel{ex:categories-over@cref}{{[@ex][1][1,2]1.2.1}{[1][36][]36}}
\newlabel{ex:cat-2free}{{1.2.2}{36}{}{@ex.1.2.2}{}}
\newlabel{ex:cat-2free@cref}{{[@ex][2][1,2]1.2.2}{[1][36][]36}}
\newlabel{ex:nonfree-noadm}{{1.2.3}{37}{}{@ex.1.2.3}{}}
\newlabel{ex:nonfree-noadm@cref}{{[@ex][3][1,2]1.2.3}{[1][37][]37}}
\@writefile{toc}{\contentsline {section}{\numberline {1.3}Meet-semilattices}{37}{section.1.3}\protected@file@percent }
\newlabel{sec:mslat}{{1.3}{37}{Meet-semilattices}{section.1.3}{}}
\newlabel{sec:mslat@cref}{{[section][3][1]1.3}{[1][37][]37}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3.1}Sequent calculus for meet-semilattices}{38}{subsection.1.3.1}\protected@file@percent }
\newlabel{sec:seqcalc-mslat}{{1.3.1}{38}{Sequent calculus for meet-semilattices}{subsection.1.3.1}{}}
\newlabel{sec:seqcalc-mslat@cref}{{[subsection][1][1,3]1.3.1}{[1][38][]38}}
\newlabel{thm:seqcalc-mslat-wftype}{{1.3.1}{38}{}{thm.1.3.1}{}}
\newlabel{thm:seqcalc-mslat-wftype@cref}{{[thm][1][1,3]1.3.1}{[1][38][]38}}
\newlabel{thm:seqcalc-mslat-idadm}{{1.3.2}{39}{}{thm.1.3.2}{}}
\newlabel{thm:seqcalc-mslat-idadm@cref}{{[thm][2][1,3]1.3.2}{[1][39][]39}}
\newlabel{thm:seqcalc-mslat-cutadm}{{1.3.3}{40}{}{thm.1.3.3}{}}
\newlabel{thm:seqcalc-mslat-cutadm@cref}{{[thm][3][1,3]1.3.3}{[1][39][]40}}
\newlabel{item:mslat-principal-cut}{{(e)(iii)}{40}{Sequent calculus for meet-semilattices}{Item.24}{}}
\newlabel{item:mslat-principal-cut@cref}{{[enumii][3][5](e)(iii)}{[1][40][]40}}
\newlabel{thm:seqcalc-mslat-initial}{{1.3.5}{41}{}{thm.1.3.5}{}}
\newlabel{thm:seqcalc-mslat-initial@cref}{{[thm][5][1,3]1.3.5}{[1][41][]41}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3.2}Natural deduction for meet-semilattices}{41}{subsection.1.3.2}\protected@file@percent }
\newlabel{sec:natded-mslat}{{1.3.2}{41}{Natural deduction for meet-semilattices}{subsection.1.3.2}{}}
\newlabel{sec:natded-mslat@cref}{{[subsection][2][1,3]1.3.2}{[1][41][]41}}
\newlabel{thm:natded-mslat-wftype}{{1.3.6}{42}{}{thm.1.3.6}{}}
\newlabel{thm:natded-mslat-wftype@cref}{{[thm][6][1,3]1.3.6}{[1][41][]42}}
\newlabel{thm:natded-mslat-cutadm}{{1.3.7}{42}{}{thm.1.3.7}{}}
\newlabel{thm:natded-mslat-cutadm@cref}{{[thm][7][1,3]1.3.7}{[1][42][]42}}
\newlabel{thm:natded-mslat-initial}{{1.3.9}{42}{}{thm.1.3.9}{}}
\newlabel{thm:natded-mslat-initial@cref}{{[thm][9][1,3]1.3.9}{[1][42][]42}}
\newlabel{ex:mslat-idem}{{1.3.1}{42}{}{@ex.1.3.1}{}}
\newlabel{ex:mslat-idem@cref}{{[@ex][1][1,3]1.3.1}{[1][42][]42}}
\newlabel{ex:mslat-monoid}{{1.3.2}{43}{}{@ex.1.3.2}{}}
\newlabel{ex:mslat-monoid@cref}{{[@ex][2][1,3]1.3.2}{[1][42][]43}}
\newlabel{ex:mslat-invertible}{{1.3.3}{43}{}{@ex.1.3.3}{}}
\newlabel{ex:mslat-invertible@cref}{{[@ex][3][1,3]1.3.3}{[1][42][]43}}
\newlabel{ex:jslat}{{1.3.4}{43}{}{@ex.1.3.4}{}}
\newlabel{ex:jslat@cref}{{[@ex][4][1,3]1.3.4}{[1][43][]43}}
\newlabel{ex:lattices}{{1.3.5}{43}{}{@ex.1.3.5}{}}
\newlabel{ex:lattices@cref}{{[@ex][5][1,3]1.3.5}{[1][43][]43}}
\newlabel{ex:lattices-invertible}{{1.3.6}{43}{}{@ex.1.3.6}{}}
\newlabel{ex:lattices-invertible@cref}{{[@ex][6][1,3]1.3.6}{[1][43][]43}}
\newlabel{ex:seqcalc-poset-fib}{{1.3.7}{43}{}{@ex.1.3.7}{}}
\newlabel{ex:seqcalc-poset-fib@cref}{{[@ex][7][1,3]1.3.7}{[1][43][]43}}
\newlabel{ex:natded-poset-fib}{{1.3.8}{43}{}{@ex.1.3.8}{}}
\newlabel{ex:natded-poset-fib@cref}{{[@ex][8][1,3]1.3.8}{[1][43][]43}}
\newlabel{ex:mslat-fib}{{1.3.9}{43}{}{@ex.1.3.9}{}}
\newlabel{ex:mslat-fib@cref}{{[@ex][9][1,3]1.3.9}{[1][43][]43}}
\newlabel{ex:poset-bifib}{{1.3.10}{44}{}{@ex.1.3.10}{}}
\newlabel{ex:poset-bifib@cref}{{[@ex][10][1,3]1.3.10}{[1][44][]44}}
\newlabel{ex:poset-bifib-adj}{{1.3.11}{44}{}{@ex.1.3.11}{}}
\newlabel{ex:poset-bifib-adj@cref}{{[@ex][11][1,3]1.3.11}{[1][44][]44}}
\newlabel{ex:poset-bifib-iso}{{1.3.12}{44}{}{@ex.1.3.12}{}}
\newlabel{ex:poset-bifib-iso@cref}{{[@ex][12][1,3]1.3.12}{[1][44][]44}}
\@writefile{toc}{\contentsline {section}{\numberline {1.4}Categories with products}{44}{section.1.4}\protected@file@percent }
\newlabel{sec:catprod}{{1.4}{44}{Categories with products}{section.1.4}{}}
\newlabel{sec:catprod@cref}{{[section][4][1]1.4}{[1][44][]44}}
\newlabel{sec:beta-eta}{{1.4}{44}{Categories with products}{section.1.4}{}}
\newlabel{sec:beta-eta@cref}{{[section][4][1]1.4}{[1][44][]44}}
\newlabel{eq:beta-deriv}{{1.4.1}{45}{Categories with products}{equation.1.4.1}{}}
\newlabel{eq:beta-deriv@cref}{{[equation][1][1,4]1.4.1}{[1][45][]45}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces Terms for categories with products}}{46}{figure.1.1}\protected@file@percent }
\newlabel{fig:catprod-terms}{{1.1}{46}{Terms for categories with products}{figure.1.1}{}}
\newlabel{fig:catprod-terms@cref}{{[figure][1][1]1.1}{[1][45][]46}}
\newlabel{princ:term-der-alpha}{{1.4.3}{46}{}{princ.1.4.3}{}}
\newlabel{princ:term-der-alpha@cref}{{[princ][3][]1.4.3}{[1][46][]46}}
\newlabel{eq:beta-prodcat-1}{{1.4.4}{47}{Categories with products}{equation.1.4.4}{}}
\newlabel{eq:beta-prodcat-1@cref}{{[equation][4][1,4]1.4.4}{[1][47][]47}}
\newlabel{eq:beta-prodcat-2}{{1.4.5}{47}{Categories with products}{equation.1.4.5}{}}
\newlabel{eq:beta-prodcat-2@cref}{{[equation][5][1,4]1.4.5}{[1][47][]47}}
\newlabel{eq:eta-prodcat}{{1.4.6}{47}{Categories with products}{equation.1.4.6}{}}
\newlabel{eq:eta-prodcat@cref}{{[equation][6][1,4]1.4.6}{[1][47][]47}}
\newlabel{eq:eta-unit}{{1.4.7}{47}{Categories with products}{equation.1.4.7}{}}
\newlabel{eq:eta-unit@cref}{{[equation][7][1,4]1.4.7}{[1][47][]47}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.2}{\ignorespaces Equality rules for categories with products}}{48}{figure.1.2}\protected@file@percent }
\newlabel{fig:catprod-equality}{{1.2}{48}{Equality rules for categories with products}{figure.1.2}{}}
\newlabel{fig:catprod-equality@cref}{{[figure][2][1]1.2}{[1][47][]48}}
\newlabel{rmk:beta-reduction}{{1.4.8}{48}{}{rmk.1.4.8}{}}
\newlabel{rmk:beta-reduction@cref}{{[rmk][8][]1.4.8}{[1][47][]48}}
\newlabel{rmk:equality-terms}{{1.4.9}{48}{}{rmk.1.4.9}{}}
\newlabel{rmk:equality-terms@cref}{{[rmk][9][]1.4.9}{[1][48][]48}}
\newlabel{thm:catprod-subadm}{{1.4.10}{49}{}{thm.1.4.10}{}}
\newlabel{thm:catprod-subadm@cref}{{[thm][10][1,4]1.4.10}{[1][49][]49}}
\newlabel{thm:catprod-subcong}{{1.4.11}{49}{}{lem.1.4.11}{}}
\newlabel{thm:catprod-subcong@cref}{{[lem][11][]1.4.11}{[1][49][]49}}
\newlabel{thm:catprod-subassoc}{{1.4.12}{49}{}{lem.1.4.12}{}}
\newlabel{thm:catprod-subassoc@cref}{{[lem][12][]1.4.12}{[1][49][]49}}
\newlabel{thm:catprod-initial}{{1.4.13}{50}{}{thm.1.4.13}{}}
\newlabel{thm:catprod-initial@cref}{{[thm][13][1,4]1.4.13}{[1][49][]50}}
\newlabel{ex:catprod-functor-uniq}{{1.4.1}{50}{}{@ex.1.4.1}{}}
\newlabel{ex:catprod-functor-uniq@cref}{{[@ex][1][1,4]1.4.1}{[1][50][]50}}
\citation{bkp:2dmonads}
\newlabel{ex:catprod-monoidal}{{1.4.2}{51}{}{@ex.1.4.2}{}}
\newlabel{ex:catprod-monoidal@cref}{{[@ex][2][1,4]1.4.2}{[1][51][]51}}
\newlabel{ex:catprod-subcong-subassoc}{{1.4.3}{51}{}{@ex.1.4.3}{}}
\newlabel{ex:catprod-subcong-subassoc@cref}{{[@ex][3][1,4]1.4.3}{[1][51][]51}}
\newlabel{ex:catfib}{{1.4.4}{51}{}{@ex.1.4.4}{}}
\newlabel{ex:catfib@cref}{{[@ex][4][1,4]1.4.4}{[1][51][]51}}
\newlabel{ex:catprod-fib}{{1.4.5}{51}{}{@ex.1.4.5}{}}
\newlabel{ex:catprod-fib@cref}{{[@ex][5][1,4]1.4.5}{[1][51][]51}}
\newlabel{ex:catprod-2free}{{1.4.6}{51}{}{@ex.1.4.6}{}}
\newlabel{ex:catprod-2free@cref}{{[@ex][6][1,4]1.4.6}{[1][51][]51}}
\newlabel{ex:catprod-flexible}{{1.4.7}{51}{}{@ex.1.4.7}{}}
\newlabel{ex:catprod-flexible@cref}{{[@ex][7][1,4]1.4.7}{[1][51][]51}}
\@writefile{brf}{\backcite{bkp:2dmonads}{{51}{1.4.7}{@ex.1.4.7}}}
\citation{bkp:2dmonads}
\newlabel{ex:catprod-induction}{{1.4.8}{52}{}{@ex.1.4.8}{}}
\newlabel{ex:catprod-induction@cref}{{[@ex][8][1,4]1.4.8}{[1][51][]52}}
\newlabel{item:catprod-induction}{{(a)}{52}{}{Item.50}{}}
\newlabel{item:catprod-induction@cref}{{[enumi][1][](a)}{[1][52][]52}}
\@writefile{brf}{\backcite{bkp:2dmonads}{{52}{(b)}{Item.51}}}
\@writefile{toc}{\contentsline {section}{\numberline {1.5}Categories with coproducts}{52}{section.1.5}\protected@file@percent }
\newlabel{sec:catcoprod}{{1.5}{52}{Categories with coproducts}{section.1.5}{}}
\newlabel{sec:catcoprod@cref}{{[section][5][1]1.5}{[1][52][]52}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.3}{\ignorespaces Unary type theory for categories with coproducts}}{53}{figure.1.3}\protected@file@percent }
\newlabel{fig:catcoprod}{{1.3}{53}{Unary type theory for categories with coproducts}{figure.1.3}{}}
\newlabel{fig:catcoprod@cref}{{[figure][3][1]1.3}{[1][52][]53}}
\newlabel{thm:catcoprod-subadm}{{1.5.1}{54}{}{lem.1.5.1}{}}
\newlabel{thm:catcoprod-subadm@cref}{{[lem][1][]1.5.1}{[1][54][]54}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.4}{\ignorespaces $\ensuremath  {\your@beta }\xspace  $- and $\ensuremath  {\your@eta }\xspace  $-conversions for categories with coproducts}}{55}{figure.1.4}\protected@file@percent }
\newlabel{fig:catcoprod-equiv}{{1.4}{55}{$\beta $- and $\eta $-conversions for categories with coproducts}{figure.1.4}{}}
\newlabel{fig:catcoprod-equiv@cref}{{[figure][4][1]1.4}{[1][55][]55}}
\newlabel{eq:catcoprod-eta}{{1.5.2}{55}{Categories with coproducts}{equation.1.5.2}{}}
\newlabel{eq:catcoprod-eta@cref}{{[equation][2][1,5]1.5.2}{[1][55][]55}}
\newlabel{thm:catcoprod-initial}{{1.5.3}{55}{}{thm.1.5.3}{}}
\newlabel{thm:catcoprod-initial@cref}{{[thm][3][1,5]1.5.3}{[1][55][]55}}
\newlabel{fn:weak-eta}{{8}{55}{}{Hfootnote.10}{}}
\newlabel{fn:weak-eta@cref}{{[footnote][8][1]8}{[1][54][]55}}
\newlabel{ex:catcoprod-functor-uniq}{{1.5.1}{56}{}{@ex.1.5.1}{}}
\newlabel{ex:catcoprod-functor-uniq@cref}{{[@ex][1][1,5]1.5.1}{[1][56][]56}}
\newlabel{ex:cat-opfib}{{1.5.2}{56}{}{@ex.1.5.2}{}}
\newlabel{ex:cat-opfib@cref}{{[@ex][2][1,5]1.5.2}{[1][56][]56}}
\@writefile{toc}{\contentsline {section}{\numberline {1.6}Universal properties and modularity}{57}{section.1.6}\protected@file@percent }
\newlabel{sec:modularity}{{1.6}{57}{Universal properties and modularity}{section.1.6}{}}
\newlabel{sec:modularity@cref}{{[section][6][1]1.6}{[1][56][]57}}
\newlabel{ex:cat-prod-coprod-uniq}{{1.6.1}{58}{}{@ex.1.6.1}{}}
\newlabel{ex:cat-prod-coprod-uniq@cref}{{[@ex][1][1,6]1.6.1}{[1][58][]58}}
\newlabel{ex:cat-bifib}{{1.6.2}{58}{}{@ex.1.6.2}{}}
\newlabel{ex:cat-bifib@cref}{{[@ex][2][1,6]1.6.2}{[1][58][]58}}
\citation{batanin:cptd-fin}
\citation{garner:hom-hcat}
\citation{nlab:computad}
\@writefile{toc}{\contentsline {section}{\numberline {1.7}Presentations and theories}{59}{section.1.7}\protected@file@percent }
\newlabel{sec:unary-theories}{{1.7}{59}{Presentations and theories}{section.1.7}{}}
\newlabel{sec:unary-theories@cref}{{[section][7][1]1.7}{[1][58][]59}}
\@writefile{brf}{\backcite{batanin:cptd-fin,garner:hom-hcat,nlab:computad}{{59}{1.7}{section.1.7}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.7.1}Group presentations}{59}{subsection.1.7.1}\protected@file@percent }
\newlabel{sec:group-presentations}{{1.7.1}{59}{Group presentations}{subsection.1.7.1}{}}
\newlabel{sec:group-presentations@cref}{{[subsection][1][1,7]1.7.1}{[1][59][]59}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.7.2}Category presentations}{61}{subsection.1.7.2}\protected@file@percent }
\newlabel{sec:category-presentations}{{1.7.2}{61}{Category presentations}{subsection.1.7.2}{}}
\newlabel{sec:category-presentations@cref}{{[subsection][2][1,7]1.7.2}{[1][61][]61}}
\newlabel{thm:catpres-initial}{{1.7.3}{61}{}{thm.1.7.3}{}}
\newlabel{thm:catpres-initial@cref}{{[thm][3][1,7]1.7.3}{[1][61][]61}}
\@writefile{lof}{\contentsline {figure}{\numberline {1.5}{\ignorespaces Equality rules for category presentations}}{62}{figure.1.5}\protected@file@percent }
\newlabel{fig:catpres-equality}{{1.5}{62}{Equality rules for category presentations}{figure.1.5}{}}
\newlabel{fig:catpres-equality@cref}{{[figure][5][1]1.5}{[1][61][]62}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.7.3}$\times $-presentations}{62}{subsection.1.7.3}\protected@file@percent }
\newlabel{sec:catprod-presentations}{{1.7.3}{62}{$\times $-presentations}{subsection.1.7.3}{}}
\newlabel{sec:catprod-presentations@cref}{{[subsection][3][1,7]1.7.3}{[1][62][]62}}
\newlabel{eq:equality-intro}{{1.7.7}{63}{$\times $-presentations}{equation.1.7.7}{}}
\newlabel{eq:equality-intro@cref}{{[equation][7][1,7]1.7.7}{[1][63][]63}}
\newlabel{rmk:1skeleton-yoneda}{{1.7.10}{64}{}{rmk.1.7.10}{}}
\newlabel{rmk:1skeleton-yoneda@cref}{{[rmk][10][]1.7.10}{[1][64][]64}}
\newlabel{thm:catprod-thy-underlying-0}{{1.7.11}{65}{}{defn.1.7.11}{}}
\newlabel{thm:catprod-thy-underlying-0@cref}{{[defn][11][]1.7.11}{[1][64][]65}}
\newlabel{thm:catprod-thy-initial-0}{{1.7.12}{65}{}{thm.1.7.12}{}}
\newlabel{thm:catprod-thy-initial-0@cref}{{[thm][12][1,7]1.7.12}{[1][64][]65}}
\newlabel{thm:catprod-thy-underlying-1}{{1.7.13}{65}{}{defn.1.7.13}{}}
\newlabel{thm:catprod-thy-underlying-1@cref}{{[defn][13][]1.7.13}{[1][65][]65}}
\newlabel{thm:catprod-thy-initial-1}{{1.7.14}{65}{}{thm.1.7.14}{}}
\newlabel{thm:catprod-thy-initial-1@cref}{{[thm][14][1,7]1.7.14}{[1][65][]65}}
\newlabel{thm:catprod-thy-underlying-2}{{1.7.15}{65}{}{defn.1.7.15}{}}
\newlabel{thm:catprod-thy-underlying-2@cref}{{[defn][15][]1.7.15}{[1][65][]65}}
\newlabel{thm:catprod-thy-initial-2}{{1.7.16}{66}{}{thm.1.7.16}{}}
\newlabel{thm:catprod-thy-initial-2@cref}{{[thm][16][1,7]1.7.16}{[1][65][]66}}
\newlabel{thm:catprod-thy-initial}{{1.7.16}{66}{}{thm.1.7.16}{}}
\newlabel{thm:catprod-thy-initial@cref}{{[thm][16][1,7]1.7.16}{[1][65][]66}}
\newlabel{thm:catprod-thy-esssurj}{{1.7.17}{67}{}{thm.1.7.17}{}}
\newlabel{thm:catprod-thy-esssurj@cref}{{[thm][17][1,7]1.7.17}{[1][67][]67}}
\citation{batanin:cptd-fin}
\citation{garner:hom-hcat}
\citation{nlab:computad}
\@writefile{brf}{\backcite{batanin:cptd-fin,garner:hom-hcat,nlab:computad}{{69}{1.7.3}{rmk.1.7.18}}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.7.4}Theories}{70}{subsection.1.7.4}\protected@file@percent }
\newlabel{sec:theories}{{1.7.4}{70}{Theories}{subsection.1.7.4}{}}
\newlabel{sec:theories@cref}{{[subsection][4][1,7]1.7.4}{[1][70][]70}}
\citation{lawvere:functsem}
\@writefile{brf}{\backcite{lawvere:functsem}{{71}{1.7.4}{Item.87}}}
\citation{shulman:what-is-a-theory}
\@writefile{brf}{\backcite{shulman:what-is-a-theory}{{72}{1.7.4}{Item.87}}}
\newlabel{ex:catcoprod-comon}{{1.7.1}{72}{}{@ex.1.7.1}{}}
\newlabel{ex:catcoprod-comon@cref}{{[@ex][1][1,7]1.7.1}{[1][72][]72}}
\newlabel{ex:catprodcoprod-field}{{1.7.2}{72}{}{@ex.1.7.2}{}}
\newlabel{ex:catprodcoprod-field@cref}{{[@ex][2][1,7]1.7.2}{[1][72][]72}}
\newlabel{ex:catprod-eckmann-hilton}{{1.7.3}{72}{}{@ex.1.7.3}{}}
\newlabel{ex:catprod-eckmann-hilton@cref}{{[@ex][3][1,7]1.7.3}{[1][72][]72}}
\newlabel{ex:catprod-nearring}{{1.7.4}{72}{}{@ex.1.7.4}{}}
\newlabel{ex:catprod-nearring@cref}{{[@ex][4][1,7]1.7.4}{[1][72][]72}}
\newlabel{ex:catfib-thy}{{1.7.5}{72}{}{@ex.1.7.5}{}}
\newlabel{ex:catfib-thy@cref}{{[@ex][5][1,7]1.7.5}{[1][72][]72}}
\citation{bkp:2dmonads}
\citation{bkp:2dmonads}
\@writefile{brf}{\backcite{bkp:2dmonads}{{76}{1.7.4}{Item.103}}}
\@writefile{brf}{\backcite{bkp:2dmonads}{{76}{(b)}{Item.105}}}
\@setckpt{unary}{
\setcounter{page}{79}
\setcounter{equation}{18}
\setcounter{enumi}{3}
\setcounter{enumii}{2}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{9}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{1}
\setcounter{section}{7}
\setcounter{subsection}{4}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{5}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{section@level}{2}
\setcounter{Item}{110}
\setcounter{Hfootnote}{11}
\setcounter{bookmark@seq@number}{22}
\setcounter{thm}{18}
\setcounter{@ex}{5}
}