\backcite {js:geom-tenscalc-i,selinger:graphical}{{12}{0.2.2}{rmk.0.2.2}}
\backcite {mr:focl,ls:hocl,jacobs:cltt,goldblatt:topoi,ptj:elephant}{{13}{0.3}{section.0.3}}
\backcite {dosen:cutelim-cats}{{14}{0.3}{section.0.3}}
\backcite {lambek:dedsys-ii}{{16}{0.3}{section.0.3}}
\backcite {burroni:t-cats,leinster:higher-opds,hermida:coh-univ,cs:multicats}{{16}{0.3}{section.0.3}}
\backcite {maclane,awodey:cat-thy,mclarty:ecat-etop,leinster:cat-thy}{{17}{0.4}{section.0.4}}
\backcite {leinster:higher-opds,cs:multicats}{{17}{0.4}{section.0.4}}
\backcite {mm:shv-gl,ptj:topos-theory,ptj:elephant,jacobs:cltt}{{17}{0.4}{section.0.4}}
\backcite {ls:1var-adjoint-logic}{{19}{1}{Hfootnote.3}}
\backcite {bkp:2dmonads}{{51}{1.4.7}{@ex.1.4.7}}
\backcite {bkp:2dmonads}{{52}{(b)}{Item.51}}
\backcite {batanin:cptd-fin,garner:hom-hcat,nlab:computad}{{59}{1.7}{section.1.7}}
\backcite {batanin:cptd-fin,garner:hom-hcat,nlab:computad}{{69}{1.7.3}{rmk.1.7.18}}
\backcite {lawvere:functsem}{{71}{1.7.4}{Item.87}}
\backcite {shulman:what-is-a-theory}{{72}{1.7.4}{Item.87}}
\backcite {bkp:2dmonads}{{76}{1.7.4}{Item.103}}
\backcite {bkp:2dmonads}{{76}{(b)}{Item.105}}
\backcite {cs:multicats,hermida:coh-univ,leinster:higher-opds,burroni:t-cats}{{81}{2.1}{AMS.14}}
\backcite {baez:why-ncats}{{82}{1}{Hfootnote.12}}
\backcite {leinster:higher-opds}{{84}{2.2}{defn.2.2.2}}
\backcite {hermida:multicats,leinster:higher-opds}{{85}{2.2}{thm.2.2.4}}
\backcite {leinster:higher-opds}{{97}{2.4.1}{Item.114}}
\backcite {dp:relevant-cats}{{106}{(d)}{Item.120}}
\backcite {street:absolute}{{109}{2.6.8}{rmk.2.6.8}}
\backcite {dp:relevant-cats}{{110}{2.6.6}{@ex.2.6.6}}
\backcite {wadler:pat}{{119}{2.7.3}{rmk.2.7.8}}
\backcite {lawvere:functsem}{{132}{2.9.1}{thm.2.9.1}}
\backcite {bkp:2dmonads}{{133}{2.9.1}{thm.2.9.2}}
\backcite {lawvere:functsem}{{133}{2.9.1}{thm.2.9.2}}
\backcite {lambek:stlc-ccc}{{135}{2.9.2}{Item.166}}
\backcite {leinster:higher-opds}{{140}{2.10.1}{lem.2.10.5}}
\backcite {may:goils}{{140}{2.10.2}{subsection.2.10.2}}
\backcite {leinster:higher-opds}{{140}{2.10.2}{subsection.2.10.2}}
\backcite {day:closed}{{143}{2.10.2}{@ex.2.10.2}}
\backcite {dp:relevant-cats}{{145}{2.10.2}{Item.190}}
\backcite {day:closed}{{149}{2.10.2}{Item.209}}
\backcite {lawvere:comprehension}{{172}{4.1.4}{subsection.4.1.4}}
\backcite {lawvere:comprehension}{{173}{4.1.5}{rmk.4.1.5}}
\backcite {lawvere:adjointness,lawvere:comprehension}{{181}{4.2}{eg.4.2.7}}
\backcite {ptj:elephant}{{194}{4.3.2}{Item.266}}
\backcite {mm:shv-gl,mclarty:ecat-etop,ptj:elephant,wyler:quasitopoi}{{196}{4.3.4}{Item.268}}
\backcite {ptj:elephant}{{196}{4.3.4}{Item.268}}
\backcite {gp:asib,gp:aswvb,pg:freshml}{{217}{A.6}{section.A.6}}
\backcite {crole:alpha}{{217}{A.6}{section.A.6}}