typo

P0-Preface.tex

@@ -5,6 +5,7 @@
 
 %------------ Chapter ------------%
 \chapter*{Preface}\label{chapter.0}
+\addcontentsline{toc}{chapter}{Preface}
 
 \begin{quote}
 	The proposal is also intended to [serve] equally as a foundation for the academic, intellectual, and technological, on the one hand, and for the curious, the moral, the erotic, the political, the artistic, and the sheerly obstreperous, on the other.\\

P1-Polynomials.tex

@@ -12,6 +12,8 @@ \part{The category of polynomial functors}\label{part.poly}
 
 %------------ Chapter ------------%
 \chapter{Representable functors} \label{ch.poly.rep-sets}
+\dnote{Get rid of lozenge}
+\dnote{Get rid of ``solution here''}
 
 In this chapter, we lay the categorical groundwork needed to define our category of interest, the category of polynomial functors.
 We begin by examining a special kind of polynomial functor that you may already be familiar with---representable functors from the category $\smset$ of sets and functions.%

P2-Comonoids.tex

@@ -8843,7 +8843,7 @@ \subsubsection{Examples of $p$-tree categories}
 Hence $\car{t}_{B\yon}\iso B^\nn\yon^\nn$ is the carrier of the category of $B\yon$-trees $\cofree{B\yon}$.
 As in \cref{ex.yon_tree_nn}, we identify the set of rooted paths of a given $B\yon$-tree with $\nn$, so that $n\in\nn$ is the $B\yon$-tree's unique length-$n$ rooted path.
 
-In fact, we have already seen the category $\cofree{B\yon}$ once before: it is the category of $B$-streams from \cref{ex.streams_category}.\index{streamss}
+In fact, we have already seen the category $\cofree{B\yon}$ once before: it is the category of $B$-streams from \cref{ex.streams_category}.\index{streams}
 
 \begin{itemize}
     \item Recall that a $B$-stream is an element of $B^\nn$ interpreted as a countable sequence of elements $b_n\in B$ for $n\in\nn$, written like so: