catlog.tex

\documentclass{book}
\usepackage{mathpartir,cancel,cmll,textcomp,environ}
%\usepackage{appendix}  % for chapter appendices, use \begin{subappendices}
\newif\ifcref\creftrue
\input{decls}
\title{Categorical logic from a categorical point of view}
\author{Michael Shulman}
\date{DRAFT for AARMS Summer School 2016\\Version of \today}
\input{macros}
\usepackage{version}
\includeversion{props}
\includeversion{wip}
%\includeonly{dedsys}
\begin{document}
\maketitle

\frontmatter

\include{preface}

\mainmatter

% https://arxiv.org/abs/1908.05839 (overview of bidirectional typing)

% Proof theory of the cut rule (Cockett-Seely)

\setcounter{tocdepth}{2}
\tableofcontents

\setcounter{chapter}{-1}

\include{intro}

\include{unary}

\include{simple}

\include{classical}

\include{fol}

\include{hol}

\include{dtt}

\appendix

\include{dedsys}

\bibliographystyle{alpha}
\bibliography{all}

\end{document}