cat/doc/main.tex

77 lines
2.1 KiB
TeX
Raw Normal View History

\documentclass[a4paper]{report}
%% \documentclass[compact,a4paper]{article}
2018-03-23 10:22:17 +00:00
2018-03-29 11:32:06 +00:00
\input{packages.tex}
2018-03-23 10:22:17 +00:00
\input{macros.tex}
2018-05-01 19:26:20 +00:00
\title{Univalent Categories}
2018-03-23 10:22:17 +00:00
\author{Frederik Hanghøj Iversen}
2018-04-26 08:22:15 +00:00
%% \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}
2018-05-08 00:00:23 +00:00
2018-04-26 08:22:15 +00:00
\usepackage{chalmerstitle}
2018-05-01 19:26:20 +00:00
\subtitle{A formalization of category theory in Cubical Agda}
2018-03-23 10:22:17 +00:00
\authoremail{hanghj@student.chalmers.se}
\newcommand{\chalmers}{Chalmers University of Technology}
2018-03-23 10:22:17 +00:00
\supervisor{Thierry Coquand}
\supervisoremail{coquand@chalmers.se}
\supervisordepartment{\chalmers}
2018-03-23 10:22:17 +00:00
\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}
\bibliographystyle{plain}
2018-03-23 10:22:17 +00:00
2018-05-07 08:13:13 +00:00
%% \newtheorem{prop}{Proposition}
\makeatletter
\newcommand*{\rom}[1]{\expandafter\@slowroman\romannumeral #1@}
\makeatother
2018-03-23 10:22:17 +00:00
\begin{document}
2018-05-08 00:00:23 +00:00
\myfrontmatter
\pagenumbering{roman}
2018-03-23 10:22:17 +00:00
\maketitle
2018-05-07 22:25:34 +00:00
\addtocontents{toc}{\protect\thispagestyle{empty}}
\tableofcontents
\pagenumbering{arabic}
2018-05-03 12:18:51 +00:00
%
\input{introduction.tex}
2018-05-02 15:02:46 +00:00
\input{cubical.tex}
2018-04-05 18:41:36 +00:00
\input{implementation.tex}
2018-05-07 22:25:34 +00:00
\input{discussion.tex}
\input{conclusion.tex}
2018-04-05 18:41:36 +00:00
2018-03-23 10:22:17 +00:00
\nocite{cubical-demo}
\nocite{coquand-2013}
\bibliography{refs}
2018-04-24 12:11:22 +00:00
\begin{appendices}
\setcounter{page}{1}
\pagenumbering{roman}
2018-05-08 14:22:51 +00:00
\input{sources.tex}
%% \input{planning.tex}
%% \input{halftime.tex}
2018-03-23 10:22:17 +00:00
\end{appendices}
\end{document}