\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\@input{preface.aux}
\@input{intro.aux}
\@input{unary.aux}
\@input{simple.aux}
\pgfsyspdfmark {pgfid1}{12392250}{27072201}
\pgfsyspdfmark {pgfid2}{13314476}{27072201}
\pgfsyspdfmark {pgfid3}{15589424}{27068924}
\pgfsyspdfmark {pgfid4}{16546064}{27068924}
\pgfsyspdfmark {pgfid5}{20255547}{27072201}
\pgfsyspdfmark {pgfid6}{21177773}{27072201}
\pgfsyspdfmark {pgfid7}{23452721}{27068924}
\pgfsyspdfmark {pgfid8}{24409361}{27068924}
\pgfsyspdfmark {pgfid9}{2797019}{25026230}
\pgfsyspdfmark {pgfid16}{12560580}{42688299}
\pgfsyspdfmark {pgfid13}{16432312}{43858762}
\pgfsyspdfmark {pgfid12}{20272825}{43858762}
\pgfsyspdfmark {pgfid14}{17817773}{42688299}
\pgfsyspdfmark {pgfid15}{18763711}{42688299}
\pgfsyspdfmark {pgfid10}{24214562}{43858762}
\pgfsyspdfmark {pgfid11}{24209314}{42688299}
\pgfsyspdfmark {pgfid17}{17024237}{41517836}
\pgfsyspdfmark {pgfid18}{17970175}{41517836}
\pgfsyspdfmark {pgfid19}{18916113}{41517836}
\pgfsyspdfmark {pgfid20}{19853412}{41517836}
\pgfsyspdfmark {pgfid21}{26279093}{41249139}
\@input{classical.aux}
\@input{fol.aux}
\@input{dedsys.aux}
\bibstyle{alpha}
\bibdata{all}
\bibcite{awodey:cat-thy}{Awo06}
\bibcite{baez:why-ncats}{Bae04}
\bibcite{batanin:cptd-fin}{Bat98}
\bibcite{bkp:2dmonads}{BKP89}
\bibcite{burroni:t-cats}{Bur71}
\bibcite{crole:alpha}{Cro12}
\bibcite{cs:multicats}{CS10}
\bibcite{day:closed}{Day70}
\bibcite{dosen:cutelim-cats}{Do{\v s}99}
\bibcite{dp:relevant-cats}{DP07}
\bibcite{garner:hom-hcat}{Gar10}
\bibcite{goldblatt:topoi}{Gol84}
\bibcite{gp:asib}{GP99}
\bibcite{gp:aswvb}{GP02}
\bibcite{hermida:multicats}{Her00}
\bibcite{hermida:coh-univ}{Her01}
\bibcite{jacobs:cltt}{Jac99}
\bibcite{ptj:topos-theory}{Joh77}
\bibcite{ptj:elephant}{Joh02}
\bibcite{js:geom-tenscalc-i}{JS91}
\bibcite{lambek:dedsys-ii}{Lam69}
\bibcite{lambek:stlc-ccc}{Lam80}
\bibcite{lawvere:functsem}{Law63}
\bibcite{lawvere:comprehension}{Law70}
\bibcite{lawvere:adjointness}{Law06}
\bibcite{leinster:higher-opds}{Lei04}
\bibcite{leinster:cat-thy}{Lei14}
\bibcite{ls:hocl}{LS88}
\bibcite{ls:1var-adjoint-logic}{LS16}
\bibcite{may:goils}{May72}
\bibcite{mclarty:ecat-etop}{McL92}
\bibcite{maclane}{ML98}
\bibcite{mm:shv-gl}{MLM94}
\bibcite{mr:focl}{MR77}
\bibcite{nlab:computad}{{n{L}a}16}
\bibcite{pg:freshml}{PG00}
\bibcite{selinger:graphical}{Sel11}
\bibcite{shulman:what-is-a-theory}{SL{$^{+}$}10}
\bibcite{street:absolute}{Str83}
\bibcite{wadler:pat}{Wad15}
\bibcite{wyler:quasitopoi}{Wyl91}
\gdef \@abspage@last{227}