nomenclature.tex

\begin{chapter}*{Nomenclature}

\begin{tabular}{ll}
SMC & symmetric monoidal category, Def.~\ref{def:smc}. \\\\
$\dagger$-SMC & dagger symmetric monoidal category, Sec.~\ref{sec:dag}. \\\\
QPT & quantum-like process theory, Def.~\ref{thm:QPT}. \\\\
$\dagger$-FA & dagger Frobenius algebra, Def.~\ref{def:frobenius}. \\\\
$\dagger$-CFA & dagger commutative Frobenius algebra, Sec.~\ref{sec:abstractobservables}. \\\\
$\dagger$-SCFA & dagger special Frobenius algebra or classical structure, Def~\ref{def:classicalstruct}. \\\\
CPM & completely positive maps, Sec.~\ref{sec:measurements}. \\\\
$\dagger$-qSFA & dagger quasi-special Frobenius algebra, Def.~\ref{def:QuasiSpecial}. \\\\
$\dagger$-qSCFA & dagger quasi-special commutative Frobenius algebra. \\\\
GROUPHOMID & group homomorphism identification problem, Def.~\ref{def:grouphomid}. \\\\
QCRel & the QPT model in sets and relations, Def~\ref{def:qcrel}.
\end{tabular}
\end{chapter}