\documentclass[a4paper]{report}
%% \documentclass[tightpage]{preview}
%% \documentclass[compact,a4paper]{article}

\input{packages.tex}
\input{macros.tex}

\title{Univalent Categories}
\author{Frederik Hanghøj Iversen}

%% \usepackage[
%%   subtitle=foo,
%%   author=Frederik Hanghøj Iversen,
%%   authoremail=hanghj@student.chalmers.se,
%%   newcommand=chalmers,=Chalmers University of Technology,
%%   supervisor=Thierry Coquand,
%%   supervisoremail=coquand@chalmers.se,
%%   supervisordepartment=chalmers,
%%   cosupervisor=Andrea Vezzosi,
%%   cosupervisoremail=vezzosi@chalmers.se,
%%   cosupervisordepartment=chalmers,
%%   examiner=Andreas Abel,
%%   examineremail=abela@chalmers.se,
%%   examinerdepartment=chalmers,
%%   institution=chalmers,
%%   department=Department of Computer Science and Engineering,
%%   researchgroup=Programming Logic Group
%%   ]{chalmerstitle}

\usepackage{chalmerstitle}
\subtitle{A formalization of category theory in Cubical Agda}
\authoremail{hanghj@student.chalmers.se}
\newcommand{\chalmers}{Chalmers University of Technology and University of Gothenburg}
\supervisor{Thierry Coquand}
\supervisoremail{coquand@chalmers.se}
\supervisordepartment{\chalmers}
\cosupervisor{Andrea Vezzosi}
\cosupervisoremail{vezzosi@chalmers.se}
\cosupervisordepartment{\chalmers}
\examiner{Andreas Abel}
\examineremail{abela@chalmers.se}
\examinerdepartment{\chalmers}
\institution{\chalmers}
\department{Department of Computer Science and Engineering}
\researchgroup{Programming Logic Group}

\begin{document}

\frontmatter
\myfrontmatter
\maketitle
\input{abstract.tex}
\input{acknowledgements.tex}
\tableofcontents
\mainmatter
%
\input{introduction.tex}
\input{cubical.tex}
\input{implementation.tex}
\input{discussion.tex}
\input{conclusion.tex}

\nocite{cubical-demo}
\nocite{coquand-2013}

\bibliography{refs}
\begin{appendices}
\setcounter{page}{1}
\pagenumbering{roman}
\input{appendix/abstract-funext.tex}
%% \input{sources.tex}
%% \input{planning.tex}
%% \input{halftime.tex}
\end{appendices}
\printindex
\end{document}
