# HoTT/book

Added missing .tex files, changed labels on chapters to reflect they …

…are chapters.
1 parent 6dd4426 commit 457e824af59245357c9d050490ddf1a00263d660 andrejbauer committed Nov 13, 2012
Showing with 43 additions and 3 deletions.
1. +1 −1 basics.tex
2. +1 −1 categories.tex
3. +7 −0 equivalences.tex
4. +7 −0 hits.tex
5. +7 −0 induction.tex
6. +5 −0 main.tex
7. +1 −1 preliminaries.tex
8. +7 −0 setmath.tex
9. +7 −0 univalence.tex
2 basics.tex
 @@ -1,5 +1,5 @@ \chapter{Basics of HoTT} -\label{sec:basics} +\label{cha:basics}
2 categories.tex
 @@ -4,7 +4,7 @@ \newcommand{\isotoid}{\ensuremath{\mathsf{isotoid}}\xspace} \chapter{Category theory} -\label{sec:category-theory} +\label{cha:category-theory} In this chapter we will develop some basic category theory. Although homotopy type theory is well-adapted for \emph{higher} category theory, here we will restrict ourselves to 1-categories. We will see that even in this case, the theory has a slightly different flavor from the classical set-based one (and this same difference carries over to the higher-categorical situation).
7 equivalences.tex
 @@ -0,0 +1,7 @@ +\chapter{Equivalences} +\label{cha:equivalences} + + +% Local Variables: +% TeX-master: "main" +% End:
7 hits.tex
 @@ -0,0 +1,7 @@ +\chapter{Higher inductive types} +\label{cha:hits} + + +% Local Variables: +% TeX-master: "main" +% End:
7 induction.tex
 @@ -0,0 +1,7 @@ +\chapter{Induction} +\label{cha:induction} + + +% Local Variables: +% TeX-master: "main" +% End:
5 main.tex
 @@ -37,3 +37,8 @@ \include{setmath} \end{document} + +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End:
2 preliminaries.tex
 @@ -1,5 +1,5 @@ \chapter{Introduction to type theory} -\label{sec:typetheory} +\label{cha:introduction} % Local Variables: % TeX-master: "main"
7 setmath.tex
 @@ -0,0 +1,7 @@ +\chapter{Set-level mathematics} +\label{cha:set-math} + + +% Local Variables: +% TeX-master: "main" +% End:
7 univalence.tex
 @@ -0,0 +1,7 @@ +\chapter{Univalence} +\label{cha:univalence} + + +% Local Variables: +% TeX-master: "main" +% End: