committing to pull

P1-Polynomials.tex

@@ -1193,6 +1193,8 @@ \section{Introducing polynomial functors} \label{sec.poly.obj.intro}
 \end{definition}
 
 \index{polynomial functor!positions and directions}
+\index{positions!of polynomial|seealso{polynomial functor!positions and directions}}
+\index{directions!of polynomial|seealso{polynomial functor!positions and directions}}
 
 Note that the position-set $p(\1)$ along with the $p(\1)$-indexed family of direction-sets $p[-]\colon p(\1)\to\smset$ uniquely characterize a polynomial $p$ up to isomorphism.
 Throughout this book, we will often specify a polynomial by giving its positions and its directions at each position.
@@ -4648,6 +4650,7 @@ \section{Moore machines}\label{sec.poly.dyn_sys.moore}
     \item the on-directions map $\varphi^\sharp\colon S\times A\to S$ the machine's \emph{update function}.
   \end{itemize}
 \end{definition}
+\index{state system}
 
 We call the codomain of a Moore machine its \emph{interface} because it encodes how an outsider interacts with the machine: an outsider observes the positions of the interface that the machine returns and feeds the directions of the interface to the machine as updates.
 Rather than directly observing and changing the states, an outsider must interact with the machine via its interface.