\relax 
\providecommand\hyper@newdestlabel[2]{}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Classical type theories}{151}{chapter.3}\protected@file@percent }
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{chap:polycats}{{3}{151}{Classical type theories}{chapter.3}{}}
\newlabel{chap:polycats@cref}{{[chapter][3][]3}{[1][151][]151}}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Props and symmetric monoidal categories}{151}{section.3.1}\protected@file@percent }
\newlabel{sec:prop-smc}{{3.1}{151}{Props and symmetric monoidal categories}{section.3.1}{}}
\newlabel{sec:prop-smc@cref}{{[section][1][3]3.1}{[1][151][]151}}
\newlabel{defn:prop}{{3.1.1}{151}{}{defn.3.1.1}{}}
\newlabel{defn:prop@cref}{{[defn][1][]3.1.1}{[1][151][]151}}
\newlabel{item:prop2}{{(b)}{151}{}{Item.214}{}}
\newlabel{item:prop2@cref}{{[enumi][2][](b)}{[1][151][]151}}
\newlabel{eq:prop-bad-terms}{{3.1.3}{152}{Props and symmetric monoidal categories}{equation.3.1.3}{}}
\newlabel{eq:prop-bad-terms@cref}{{[equation][3][3,1]3.1.3}{[1][152][]152}}
\newlabel{eq:prop-good-term}{{3.1.4}{153}{Props and symmetric monoidal categories}{equation.3.1.4}{}}
\newlabel{eq:prop-good-term@cref}{{[equation][4][3,1]3.1.4}{[1][153][]153}}
\newlabel{eq:prop-goodish-term-1}{{3.1.5}{153}{Props and symmetric monoidal categories}{equation.3.1.5}{}}
\newlabel{eq:prop-goodish-term-1@cref}{{[equation][5][3,1]3.1.5}{[1][153][]153}}
\newlabel{thm:prop-tad}{{3.1.7}{155}{}{thm.3.1.7}{}}
\newlabel{thm:prop-tad@cref}{{[thm][7][3,1]3.1.7}{[1][155][]155}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces Type theory for props}}{156}{figure.3.1}\protected@file@percent }
\newlabel{fig:props}{{3.1}{156}{Type theory for props}{figure.3.1}{}}
\newlabel{fig:props@cref}{{[figure][1][3]3.1}{[1][155][]156}}
\newlabel{thm:prop-symadm}{{3.1.8}{157}{}{lem.3.1.8}{}}
\newlabel{thm:prop-symadm@cref}{{[lem][8][]3.1.8}{[1][157][]157}}
\newlabel{thm:prop-onecutadm}{{3.1.9}{157}{}{lem.3.1.9}{}}
\newlabel{thm:prop-onecutadm@cref}{{[lem][9][]3.1.9}{[1][157][]157}}
\newlabel{thm:prop-cutadm}{{3.1.10}{157}{}{thm.3.1.10}{}}
\newlabel{thm:prop-cutadm@cref}{{[thm][10][3,1]3.1.10}{[1][157][]157}}
\newlabel{eq:ceg5a}{{3.1.11}{158}{Props and symmetric monoidal categories}{equation.3.1.11}{}}
\newlabel{eq:ceg5a@cref}{{[equation][11][3,1]3.1.11}{[1][157][]158}}
\newlabel{eq:ceg5b}{{3.1.12}{158}{Props and symmetric monoidal categories}{equation.3.1.12}{}}
\newlabel{eq:ceg5b@cref}{{[equation][12][3,1]3.1.12}{[1][157][]158}}
\newlabel{eq:ceg2a}{{3.1.13}{158}{Props and symmetric monoidal categories}{equation.3.1.13}{}}
\newlabel{eq:ceg2a@cref}{{[equation][13][3,1]3.1.13}{[1][158][]158}}
\newlabel{eq:ceg2b}{{3.1.14}{158}{Props and symmetric monoidal categories}{equation.3.1.14}{}}
\newlabel{eq:ceg2b@cref}{{[equation][14][3,1]3.1.14}{[1][158][]158}}
\newlabel{eq:ceg1a}{{3.1.15}{158}{Props and symmetric monoidal categories}{equation.3.1.15}{}}
\newlabel{eq:ceg1a@cref}{{[equation][15][3,1]3.1.15}{[1][158][]158}}
\newlabel{eq:ceg1b}{{3.1.16}{158}{Props and symmetric monoidal categories}{equation.3.1.16}{}}
\newlabel{eq:ceg1b@cref}{{[equation][16][3,1]3.1.16}{[1][158][]158}}
\newlabel{eq:ceg4}{{3.1.17}{159}{Props and symmetric monoidal categories}{equation.3.1.17}{}}
\newlabel{eq:ceg4@cref}{{[equation][17][3,1]3.1.17}{[1][159][]159}}
\newlabel{eq:ceg3}{{3.1.18}{159}{Props and symmetric monoidal categories}{equation.3.1.18}{}}
\newlabel{eq:ceg3@cref}{{[equation][18][3,1]3.1.18}{[1][159][]159}}
\newlabel{eq:ceg}{{3.1.19}{159}{Props and symmetric monoidal categories}{equation.3.1.19}{}}
\newlabel{eq:ceg@cref}{{[equation][19][3,1]3.1.19}{[1][159][]159}}
\newlabel{thm:prop-cutissub}{{3.1.20}{160}{}{lem.3.1.20}{}}
\newlabel{thm:prop-cutissub@cref}{{[lem][20][]3.1.20}{[1][160][]160}}
\newlabel{thm:prop-presubassoc}{{3.1.21}{160}{}{lem.3.1.21}{}}
\newlabel{thm:prop-presubassoc@cref}{{[lem][21][]3.1.21}{[1][160][]160}}
\newlabel{thm:prop-cutassoc}{{3.1.22}{160}{}{thm.3.1.22}{}}
\newlabel{thm:prop-cutassoc@cref}{{[thm][22][3,1]3.1.22}{[1][160][]160}}
\newlabel{thm:prop-moncat}{{3.1.23}{161}{}{thm.3.1.23}{}}
\newlabel{thm:prop-moncat@cref}{{[thm][23][3,1]3.1.23}{[1][160][]161}}
\newlabel{thm:prop-initial}{{3.1.24}{161}{}{thm.3.1.24}{}}
\newlabel{thm:prop-initial@cref}{{[thm][24][3,1]3.1.24}{[1][161][]161}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Cyclic multicategories and cosubunary polycategories}{162}{section.3.2}\protected@file@percent }
\newlabel{sec:cycmulti}{{3.2}{162}{Cyclic multicategories and cosubunary polycategories}{section.3.2}{}}
\newlabel{sec:cycmulti@cref}{{[section][2][3]3.2}{[1][162][]162}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Classical logic}{163}{section.3.3}\protected@file@percent }
\newlabel{sec:classical}{{3.3}{163}{Classical logic}{section.3.3}{}}
\newlabel{sec:classical@cref}{{[section][3][3]3.3}{[1][163][]163}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Polycategories and linear logic}{163}{section.3.4}\protected@file@percent }
\newlabel{sec:cllin}{{3.4}{163}{Polycategories and linear logic}{section.3.4}{}}
\newlabel{sec:cllin@cref}{{[section][4][3]3.4}{[1][163][]163}}
\@setckpt{classical}{
\setcounter{page}{164}
\setcounter{equation}{0}
\setcounter{enumi}{2}
\setcounter{enumii}{2}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{4}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{1}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{section@level}{1}
\setcounter{Item}{214}
\setcounter{Hfootnote}{16}
\setcounter{bookmark@seq@number}{50}
\setcounter{thm}{0}
\setcounter{@ex}{0}
}