Book-Poly.tex

\documentclass[11pt]{memoir}

\settrims{0pt}{0pt} % page and stock same size
\settypeblocksize{*}{34.5pc}{*} % {height}{width}{ratio}
\setlrmargins{*}{*}{1} % {spine}{edge}{ratio}
\setulmarginsandblock{1in}{1in}{*} % height of typeblock computed
\setheadfoot{\onelineskip}{2\onelineskip} % {headheight}{footskip}
\setheaderspaces{*}{1.5\onelineskip}{*} % {headdrop}{headsep}{ratio}
\checkandfixthelayout

\chapterstyle{bianchi}
\newcommand{\titlefont}{\normalfont\Huge\bfseries}
\renewcommand{\chaptitlefont}{\titlefont}

%-------- Packages --------%

\usepackage{amsthm}
\usepackage{mathtools}

\usepackage{imakeidx}
\usepackage[framemethod=tikz]{mdframed}
\usepackage{footnote}
\usepackage{tablefootnote}

\usepackage[inline]{enumitem}
\setlistdepth{6}
\usepackage{ifthen}
\usepackage[utf8]{inputenc} %allows non-ascii in bib file
\usepackage{xcolor}

\usepackage{subfiles}
\usepackage[backend=biber, backref=true, maxbibnames = 10, style = alphabetic]{biblatex}
\usepackage{xr-hyper}
\usepackage[bookmarks=true, colorlinks=true, linkcolor=blue!50!black,
citecolor=orange!50!black, urlcolor=orange!50!black, pdfencoding=unicode]{hyperref}
\usepackage[capitalize]{cleveref}

% Multirow tables
\usepackage{multirow}

% String manipulation
\usepackage{xstring}

% Exercise solutions
\usepackage{answers}

% Graphics and diagrams
\usepackage{tikz}
\usepackage{varwidth}
\usepackage[prefix=tikzsym]{tikzsymbols}
\usepackage{makecell}%database table thickness
%\usepackage{graphicx}
%\usepackage[all]{xy}
\usepackage{multirow}


% Fonts
\usepackage{amssymb}
\usepackage{newpxtext}
\usepackage[varg,bigdelims]{newpxmath}
\usepackage{mathrsfs}
%\usepackage{minted}
\usepackage{dutchcal}
\usepackage{fontawesome}

% For matrices with labeled columns and rows
% \usepackage{kbordermatrix}% http://www.hss.caltech.edu/~kcb/TeX/kbordermatrix.sty
%\usepackage{accents}
%\usepackage{eucal}

% MathVersion kludge
\DeclareMathVersion{normal2}

% For external graphics.
\graphicspath{graphics/}

%\usepackage{changepage} %indented paragraphs in solutions
%\usepackage{showkeys} %for drafting; prints labels in margin

%-------- Package setup --------%

% cleveref %
  \newcommand{\creflastconjunction}{, and\nobreakspace} % serial comma
  \crefformat{enumi}{\##2#1#3}
  \crefmultiformat{enumi}{\##2#1#3}{ and~\##2#1#3}{, \##2#1#3}{, and~\##2#1#3}

% biblatex %
  \addbibresource{refs.bib}

% makeidx %
  \makeindex

% hyperref %
  \hypersetup{final}

% enumitem %
  \setlist{nosep}

% footnote
	\makesavenoteenv{tabular}

% minted
%\newenvironment{agda}
%  {\VerbatimEnvironment
%  	\begin{minted}[escapeinside=??, mathescape=true, frame=single, framesep=5pt, tabsize=1
%	]{Agda}}
%  {\end{minted}}



% tikz %
  \usetikzlibrary{
  	cd,
  	math,
  	decorations.markings,
		decorations.pathreplacing,
  	positioning,
  	arrows.meta,
  	shapes,
		shadows,
		shadings,
  	calc,
  	fit,
  	quotes,
  	intersections,
    circuits,
    circuits.ee.IEC
  }

	\tikzcdset{arrow style=tikz, diagrams={>=To}}

	\input{tikz_stuff}

\newcommand{\unalignedDo}[1]{\framebox{\begin{tikzpicture}[baseline=(current bounding box.center),every node/.style={inner sep=0pt, minimum size=0pt,outer sep=0pt}]
\node(do) {\textbf{do}};
\coordinate (11) at ($(do.east)+(0.25cm,0)$);
    \foreach \line [count=\k] in {#1}
    {
    \pgfmathtruncatemacro{\kn}{\k+1}
    \node(\kn1)[anchor=north west] at ($(\k1.south west)-(0,0.25cm)$) {\line};
    }
\end{tikzpicture}}}

%\usepackage{circuitikz}


% mdframed/tablefootnote%
% This makes \tablefootnote allow construction of footnotes that appear at bottom of page instead of inside frame

\makeatletter
\AfterEndEnvironment{mdframed}{%
  \tfn@tablefootnoteprintout%
  \gdef\tfn@fnt{0}%
}
\makeatother

% Longer nested lists
\newlist{longenum}{enumerate}{6}
\setlist[longenum,1]{label=\arabic*.}
\setlist[longenum,2]{label=\arabic*.}
\setlist[longenum,3]{label=\arabic*.}
\setlist[longenum,4]{label=\arabic*.}
\setlist[longenum,5]{label=\arabic*.}
\setlist[longenum,6]{label=\arabic*.}

% Theorem environments

% Colored box background colours

\colorlet{theoremcolor}{white!92!blue}
\colorlet{definitioncolor}{white!92!purple}
\colorlet{examplecolor}{white!91!green}
\colorlet{exercisecolor}{white!96!green}


\mdfdefinestyle{theoremframe}{
    linewidth=0pt,
    %linecolor=blue,
    backgroundcolor=theoremcolor,
    roundcorner=6pt,
    nobreak=true,
    leftmargin=0,
    innerleftmargin=0,
    rightmargin=0,
    innerrightmargin=0,
    }

\mdfdefinestyle{definitionframe}{
    linewidth=0pt,
    %linecolor=blue,
    backgroundcolor=definitioncolor,
    roundcorner=6pt,
    leftmargin=0,
    innerleftmargin=0,
    rightmargin=0,
    innerrightmargin=0,
    }

\mdfdefinestyle{exampleframe}{
    linewidth=0pt,
    backgroundcolor=examplecolor,
    leftmargin=0,
    innerleftmargin=0,
    rightmargin=0,
    innerrightmargin=0,
    }

\mdfdefinestyle{exerciseframe}{
    linewidth=0pt,
    backgroundcolor=exercisecolor,
    leftmargin=0,
    innerleftmargin=0,
    rightmargin=0,
    innerrightmargin=0,
    }

\newtheoremstyle{plain}
  {-\topsep}		%space above
  {}			%space below
  {\normalfont}		%body font
  {}			%indent amount
  {\bfseries}		%theorem head font
  {.}			%punctuation after theorem head
  {.5em}		%space after theorem head
  {}			%theorem head spec

% amsthm %
  \theoremstyle{plain}
  \newmdtheoremenv[style=theoremframe]{theorem}[equation]{Theorem}
  \newmdtheoremenv[style=theoremframe]{proposition}[equation]{Proposition}
  \newmdtheoremenv[style=theoremframe]{corollary}[equation]{Corollary}
  \newmdtheoremenv[style=theoremframe]{lemma}[equation]{Lemma}

  \theoremstyle{plain}
  \newmdtheoremenv[style=definitionframe]{definition}[equation]{Definition}
  \newmdtheoremenv[style=definitionframe]{informal}[equation]{Informal Definition}
  \newmdtheoremenv[style=definitionframe]{roughDef}[equation]{Rough Definition}
  \crefname{roughDef}{Definition}{Definitions}
  \newtheorem{construction}[equation]{Construction}
  \newtheorem{notation}[equation]{Notation}
  \newtheorem{axiom}{Axiom}
  \newtheorem*{axiom*}{Axiom}

  \theoremstyle{remark}
  \newtheorem{remark}[equation]{Remark}
  \newtheorem{warning}[equation]{Warning}

% Solution environment

\newcommand{\finishSolutionChapter}{
%\vfill\hrulefill\\\noindent
%\arabic{solcounterlocal} exercises in Chapter \arabic{section}, and \arabic{solcounterglobal} total exercises up to this point.
%
\clearpage
}

\makeatletter
\newcommand{\nolisttopbreak}{\nobreak\@afterheading}
\makeatother

% \newcounter{solcounterlocal}[section]
% \newcounter{solcounterglobal}

% \newcommand{\sol}[4][noprint]{

% \stepcounter{solcounterlocal}\stepcounter{solcounterglobal}

% \noindent\ignorespacesafterend\emph{Solution to} \cref{#2}.%
% \nopagebreak%
% \ifthenelse{\equal{#1}{print}}{
% \nopagebreak%
% \begin{mdframed}[backgroundcolor=examplecolor,linewidth=0pt]%
% #3%
% \end{mdframed}%
% \nopagebreak
% }{}%
% \nolisttopbreak
% \begin{description}[leftmargin=2.5ex,itemindent=0pt,topsep=0ex,nosep]
% \item\nopagebreak
% #4
% \end{description}
% \bigskip
% }

\Newassociation{solution}{Sol}{solutions}

\renewenvironment{Sol}[1]
{
    \hypertarget{sol:#1}{}
    \noindent\ignorespacesafterend{\emph{Solution to} Exercise \hyperlink{ex:#1}{#1}.}
    \nopagebreak
    \nolisttopbreak
    \begin{description}[leftmargin=2.5ex,itemindent=0pt,topsep=0ex,nosep]
    \item\nopagebreak
}
{
    \end{description} \bigskip
}


% Aligned tikz environment
\newenvironment{altikz}{
\begin{aligned}
\begin{tikzpicture}
}
{
\end{tikzpicture}
\end{aligned}
}

%Getting ending symbols in example and exercise environments:

\newmdtheoremenv[style=exampleframe]{example}[equation]{Example}

\newmdtheoremenv[style=exerciseframe]{exc-inner}[equation]{Exercise}
\newenvironment{exercise}[1][]{
  \def\qedsymbol{$\lozenge$}% Set the QED symbol.
  \pushQED{\qed}
  \begin{exc-inner}[#1\ifthenelse{\equal{#1}{}}{\hyperlink{sol:\theequation}{Solution here}}{; \hyperlink{sol:\theequation}{solution here}}]\hypertarget{ex:\theequation}{}~
}{
  \popQED
  \end{exc-inner}
}
  \crefname{exercise}{Exercise}{Exercises}


% Adjunctions
\newcommand{\adj}[5][30pt]{%[size] Cat L, Left, Right, Cat R.
\begin{tikzcd}[ampersand replacement=\&, column sep=#1]
  #2\ar[r, shift left=7pt, "#3"]
  \ar[r, phantom, "\scriptstyle\Rightarrow"]\&
  #5\ar[l, shift left=7pt, "#4"]
\end{tikzcd}
}

\newcommand{\adjr}[5][30pt]{%[size] Cat R, Right, Left, Cat L.
\begin{tikzcd}[ampersand replacement=\&, column sep=#1]
  #2\ar[r, shift left=7pt, "#3"]\&
  #5\ar[l, shift left=7pt, "#4"]
  \ar[l, phantom, "\scriptstyle\Leftarrow"]
\end{tikzcd}
}

\newcommand{\slogan}[1]{\begin{center}\textit{#1}\end{center}}

%-------- Single symbols --------%

\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\DeclareMathSymbol\fatsemi\mathop{stmry}{"23}

\DeclareFontFamily{U}{mathx}{\hyphenchar\font45}
\DeclareFontShape{U}{mathx}{m}{n}{
      <5> <6> <7> <8> <9> <10>
      <10.95> <12> <14.4> <17.28> <20.74> <24.88>
      mathx10
      }{}
\DeclareSymbolFont{mathx}{U}{mathx}{m}{n}
\DeclareFontSubstitution{U}{mathx}{m}{n}
\DeclareMathAccent{\widecheck}{0}{mathx}{"71}


%-------- Renewed commands --------%

\renewcommand{\ss}{\subseteq}

%-------- Other Macros --------%


\DeclarePairedDelimiter{\present}{\langle}{\rangle}
\DeclarePairedDelimiter{\copair}{[}{]}
\DeclarePairedDelimiter{\floor}{\lfloor}{\rfloor}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
\DeclarePairedDelimiter{\corners}{\ulcorner}{\urcorner}
\DeclarePairedDelimiter{\ihom}{[}{]}

\newcommand{\lchom}[2]{\genfrac{[}{]}{0pt}{}{#1}{#2}}
\newcommand{\rchom}[1]{\overset{#1}{\frown}}

\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\Mor}{Mor}
\DeclareMathOperator{\dom}{dom}
\DeclareMathOperator{\cod}{cod}
\DeclareMathOperator{\idy}{idy}
\DeclareMathOperator{\comp}{com}
\DeclareMathOperator*{\colim}{colim}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\Ob}{Ob}
\DeclareMathOperator{\Tr}{Tr}
\DeclareMathOperator{\dju}{\sqcup}



\newcommand{\const}[1]{\texttt{#1}}%a constant, or named element of a set
\newcommand{\Set}[1]{\mathsf{#1}}%a named set
\newcommand{\ord}[1]{\mathsf{#1}}%an ordinal
\newcommand{\cat}[1]{\mathcal{#1}}%a generic category
\newcommand{\Cat}[1]{\mathbf{#1}}%a named category
\newcommand{\fun}[1]{\mathrm{#1}}%a function
\newcommand{\Fun}[1]{\mathrm{#1}}%a named functor
\newcommand{\Sys}[1]{\mathsf{#1}}%dynamical system
\newcommand{\com}[1]{\mathscr{#1}}%polynomial comonoid
\newcommand{\oper}[1]{\operatorname{#1}}

% System shorthands:
\newcommand{\State}[1]{\Set{State}_{\Sys{#1}}}
\newcommand{\Out}[1]{\Set{Out}_{\Sys{#1}}}
\newcommand{\In}[1]{\Set{In}_{\Sys{#1}}}
\newcommand{\return}[1]{\fun{return}_{\Sys{#1}}}
\newcommand{\update}[1]{\fun{update}_{\Sys{#1}}}

\newcommand{\id}{\mathrm{id}}
\newcommand{\then}{\mathbin{\fatsemi}}

\newcommand{\cocolon}{:\!}


\newcommand{\iso}{\cong}
\newcommand{\too}{\longrightarrow}
\newcommand{\tto}{\rightrightarrows}
\newcommand{\To}[1]{\xrightarrow{#1}}
\renewcommand{\Mapsto}[1]{\xmapsto{#1}}
\newcommand{\Tto}[3][13pt]{\begin{tikzcd}[sep=#1, cramped, ampersand replacement=\&, text height=1ex, text depth=.3ex]\ar[r, shift left=2pt, "#2"]\ar[r, shift right=2pt, "#3"']\&{}\end{tikzcd}}
\newcommand{\Too}[1]{\xrightarrow{\;\;#1\;\;}}
\newcommand{\from}{\leftarrow}
\newcommand{\From}[1]{\xleftarrow{#1}}
\newcommand{\Fromm}[1]{\xleftarrow{\;\;#1\;\;}}
\newcommand{\surj}{\twoheadrightarrow}
\newcommand{\inj}{\hookrightarrow}
\newcommand{\wavyto}{\rightsquigarrow}
\newcommand{\lollipop}{\multimap}
\newcommand{\tickar}{\xtickar{}}
\newcommand{\imp}{\Rightarrow}
\renewcommand{\iff}{\Leftrightarrow}
\newcommand{\down}{\mathbin{\downarrow}}
\newcommand{\fromto}{\leftrightarrows}
\newcommand{\xtickar}[1]{\begin{tikzcd}[baseline=-0.5ex,cramped,sep=small,ampersand
replacement=\&]{}\ar[r,tick, "{#1}"]\&{}\end{tikzcd}}



\newcommand{\inv}{^{-1}}
\newcommand{\op}{^\tn{op}}

\newcommand{\tn}[1]{\textnormal{#1}}
\newcommand{\ol}[1]{\overline{#1}}
\newcommand{\ul}[1]{\underline{#1}}
\newcommand{\wt}[1]{\widetilde{#1}}
\newcommand{\wh}[1]{\widehat{#1}}
\newcommand{\wc}[1]{\widecheck{#1}}
\newcommand{\ubar}[1]{\underaccent{\bar}{#1}}


% OLD LMO: \newcommand{\LMO}[2][over]{\ifthenelse{\equal{#1}{over}}{\overset{#2}{\bullet}}{\underset{#2}{\bullet}}}
\newcommand{\LMO}[2][over]{\LMOO[#1]{\phantom{\cdot}}{#2}}
%% Convention for LMOO is
%%   {optional: over/under}{state name}{output name}
\newcommand{\LMOO}[3][over]{\ifthenelse{\equal{#1}{over}}
  {
    \begin{tikzpicture}[inner sep=0pt, solid] \node[draw, circle, label={[label distance
        = 2pt]90:{$#3$}}] {$#2$}; \end{tikzpicture}
  }{
    \begin{tikzpicture}[inner sep=0pt, solid] \node[draw, circle, label={[label distance
        = 2pt]270:{$#3$}}] {$#2$}; \end{tikzpicture}
  }
}
\newcommand{\LTO}[2][\bullet]{\overset{\tn{#2}}{#1}}


\newcommand{\bb}{\mathbb{B}}
\newcommand{\nn}{\mathbb{N}}
\newcommand{\pp}{\mathbb{P}}
\newcommand{\qq}{\mathbb{Q}}
\newcommand{\zz}{\mathbb{Z}}
\newcommand{\rr}{\mathbb{R}}

\newcommand{\singleton}{\{1\}}
\newcommand{\powset}{\Fun{P}}
\newcommand{\probset}{\Fun{D}}


\newcommand{\smset}{\Cat{Set}}
\newcommand{\smcat}{\Cat{Cat}}
\newcommand{\catsharp}{\smcat^\sharp}
\newcommand{\comon}{\Cat{Comon}}
\newcommand{\nat}{\Set{Nat}}
\newcommand{\finset}{\Cat{FinSet}}
\newcommand{\smctx}[1]{\Cat{Ctx}_{#1}}

\newcommand{\List}{\Fun{List}}
\newcommand{\set}{\tn{-}\Cat{Set}}



\newcommand{\boxCD}[3][black] % [border color] {interior color} {math text}
{\fcolorbox{#1}{#2}{\begin{varwidth}{\textwidth}\centering #3\end{varwidth}}}

\newcommand{\erase}[2][]{{\color{red}#1}}
\newcommand{\showhide}[2]{#1}


% Spivak macros %

\newenvironment{dedication}
     {\begin{flushright}\itshape}
     {\end{flushright}}

\newcommand{\yon}{\mathcal{y}}
\newcommand{\poly}[1][]{#1\Cat{Poly}}
\newcommand{\0}{\textsf{0}}
\newcommand{\1}{\textsf{1}}
\newcommand{\2}{\textsf{2}}
\newcommand{\3}{\textsf{3}}
\newcommand{\4}{\textsf{4}}
\newcommand{\5}{\textsf{5}}
\newcommand{\6}{\textsf{6}}
\newcommand{\7}{\textsf{7}}
\newcommand{\8}{\textsf{8}}
\newcommand{\9}{\textsf{9}}

\definecolor{dgreen}{rgb}{0.0, 0.5, 0.3}
\definecolor{dyellow}{rgb}{8.0, 0.74, 0}

\newcommand{\pphantom}[2]{$\phantom{#1}$\nodepart{two}$\vphantom{#2}$}
\newcommand{\at}{\nodepart{two}}

\newcommand{\qand}{\quad\text{and}\quad}
\newcommand{\qqand}{\qquad\text{and}\qquad}
\newcommand{\qqor}{\qquad\text{or}\qquad}

\newcommand{\bhline}{\Xhline{2\arrayrulewidth}}
\newcommand{\bbhline}{\Xhline{2.5\arrayrulewidth}}
\newcommand{\bbbhline}{\Xhline{3\arrayrulewidth}}

\newcommand{\lst}{\Set{List}}

\newcommand{\tr}{\Set{tree}}
\newcommand{\vtx}{\Set{vtx}}
\newcommand{\rt}{\fun{root}}
\newcommand{\fs}{\fun{focus}}
\newcommand{\lensput}{\fun{put}}
\newcommand{\lensget}{\fun{get}}
\newcommand{\deck}{\Fun{Deck}}

\newcommand{\src}{\fun{src}}
\newcommand{\tgt}{\fun{tgt}}

\newcommand{\elts}{\textstyle{\int}}

\newcommand{\mdot}{{\cdot}}
\newcommand{\cofree}[1]{\com{T}_{#1}}
\newcommand{\coto}{\nrightarrow}
\newcommand{\cofun}{{\raisebox{2pt}{\resizebox{2.5pt}{2.5pt}{$\setminus$}}}}

\newcommand{\lcmod}[1]{~_{#1}\Cat{Mod}}
\newcommand{\rcmod}[1]{~\Cat{Mod}_{#1}}
\newcommand{\bimod}[2]{~_{#1}\Cat{Mod}_{#2}}

\newcommand{\car}[1]{\mathfrak{#1}}

\newcommand{\cof}{\nrightarrow}

\newcommand{\fl}[1]{\acute{#1}}

\newcommand{\tri}{\mathbin{\triangleleft}}
\newcommand{\tripow}[1]{^{\tri\,#1}}

\newcommand{\bul}[1][black]{{\color{#1}\ensuremath{\bullet}}}

 \makeatletter
\newcommand*{\bdiv}{%
  \nonscript\mskip-\medmuskip\mkern5mu%
  \mathbin{\operator@font div}\penalty900\mkern5mu%
  \nonscript\mskip-\medmuskip
}
\makeatother

\newcommand{\centergraphics}[2][width=\textwidth]{
\begin{center}
	\includegraphics[#1]{#2}
\end{center}
}

% for making notes in text:

\newcounter{notecounter}

\newcommand{\nnote}[1]{
	\stepcounter{notecounter}
	\textcolor{red}{\;$\lozenge$\;\textbf{Nelson says}: {#1}\;$\lozenge$\;}
}
\newcommand{\dnote}[1]{
	\stepcounter{notecounter}
	\textcolor{blue}{\;$\lozenge$\;\textbf{David says}: {#1}\;$\lozenge$\;}
}

\newcommand{\numnotes}{\clearpage\huge Number of todo notes in text, at last pass: \thenotecounter\normalsize}

\newcommand{\sys}{\Cat{Sys}}

% Booleans
\newcommand{\true}{\const{true}}
\newcommand{\false}{\const{false}}

% Colors
\newcommand{\Red}{{\color{red} \const{red}}}
\newcommand{\Blue}{{\color{blue} \const{blue}}}
\newcommand{\Green}{{\color{dgreen}\const{green}} }
\newcommand{\Orange}{{\color{orange} \const{orange}}}

% Grothendieck double construction:
\newcommand{\rectangle}{{%
    \Large
  \ooalign{$\sqsubset\mkern3mu$\cr$\mkern3mu\sqsupset$\cr}%
}}
\newcommand{\sqiint}{{\rectangle}\kern-1.4em{\iint}}

%% vdots without space at the top.
\makeatletter
\DeclareRobustCommand{\rvdots}{%
  \vbox{
    \baselineskip4\p@\lineskiplimit\z@
    \kern-\p@
    \hbox{.}\hbox{.}\hbox{.}
  }}
\makeatother

% ---- Changeable document parameters ---- %

\linespread{1.15}
\allowdisplaybreaks
\setsecnumdepth{subsection}
\settocdepth{subsection}
\setlength{\parindent}{15pt}
\setcounter{tocdepth}{1}



%--------------- Document ---------------%
\begin{document}

\frontmatter

\title{\titlefont Polynomial Functors:\\\medskip
A Mathematical Theory of Interaction}

\author{
\LARGE Nelson Niu
\and
\LARGE David I. Spivak
\normalsize}

\posttitle{
\vspace{.8in}
\normalsize
\[
\coverpic
\]
  \vspace{.5in}
  \endgroup
}
\date{\vfill Last updated: \today \\ Source: \url{https://github.com/ToposInstitute/poly}}

\maketitle

\thispagestyle{empty}
\clearpage
This page intentionally left blank.
\clearpage
\clearpage

\mbox{}
\vspace{2in}
\begin{center}
\begin{tabular}{lll}
\LARGE Nelson Niu&~\hspace{.75in}~&\LARGE  David I. Spivak\\
\large University of Washington&&\large Topos Institute\\
\large Seattle, WA&&\large Berkeley, CA
\end{tabular}
\end{center}
\clearpage

\begin{dedication}
To Andr\'e Joyal
\smallskip

---D.S.
\bigskip

To my graduate cohort at UW
\smallskip

---N.N.
\end{dedication}

\subfile{P0-Preface}

\clearpage
\tableofcontents*
\clearpage

\mainmatter
\subfile{P1-Polynomials}
\subfile{P2-Comonoids}
\subfile{P3-Vistas}

\appendix
\begingroup
\footnotesize

\backmatter

\printbibliography
\printindex

\numnotes

\end{document}