From 93e1eaf60a40b7164d9e456a2600f8de5b726950 Mon Sep 17 00:00:00 2001
From: David Spivak <dspivak@gmail.com>
Date: Wed, 17 Jul 2024 10:25:01 -0700
Subject: [PATCH] typo

---
 P0-Preface.tex     | 1 +
 P1-Polynomials.tex | 2 ++
 P2-Comonoids.tex   | 2 +-
 3 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/P0-Preface.tex b/P0-Preface.tex
index 9c6c186..fc5d5d0 100644
--- a/P0-Preface.tex
+++ b/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.\\
diff --git a/P1-Polynomials.tex b/P1-Polynomials.tex
index c8402a3..9baf5be 100644
--- a/P1-Polynomials.tex
+++ b/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.%
diff --git a/P2-Comonoids.tex b/P2-Comonoids.tex
index d1eaa0e..a8ba002 100644
--- a/P2-Comonoids.tex
+++ b/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: