relationship between our categorical frameworks; Giulio Chiribella for introducing us to existing notions of noncommutative graphs; and Matty Hoban for informative conversations about nonlocal games. We appreciate the helpful comments of an anonymous referee regarding the presentation of these results.

$$\hspace{-2.3cm}
\setlength\arraycolsep{1pt}
\begin{array}{|c|c||c|c|}
\hline
\rule{0pt}{3ex} 
\begin{minipage}{1.7cm}\center
\text{set}
\end{minipage}&
\text{commutative algebra} &\text{non-commutative algebra} & \text{quantum set}
\\[-9pt] \rule{0pt}{0ex}&&&\\\hline
\text{element}& 
\begin{minipage}{\wl\textwidth}
\begin{calign}\nonumber
\begin{tz}[zx, master, every to/.style={out=up, in=down},xscale=-1]
\draw (0,1) to (0,2) to [out=135] (-0.75,3);
\draw (0,2) to [out=45] (0.75, 3);
\node[zxnode=\zxwhite] at (0,1) {$\psi$};
\node[zxvertex=\zxwhite, zxup] at (0,2) {};
\end{tz}
=~~~
\begin{tz}[zx,slave, every to/.style={out=up, in=down},xscale=-1]
\draw (-0.75,2) to (-0.75,3);
\draw (0.75, 2) to +(0,1.);
\node[zxnode=\zxwhite] at (-0.75,2) {$\psi$};
\node[zxnode=\zxwhite] at (0.75,2) {$\psi$};
\end{tz}
\hspace{1cm}
\begin{tz}[zx, every to/.style={out=up, in=down},xscale=-1]
\draw (0,1) to (0,2) ;
\node[zxnode=\zxwhite] at (0,1) {$\psi$};
\node[zxvertex=\zxwhite, zxup] at (0,2) {};
\end{tz}
~~=~~
\emptydiagram
\\\nonumber
\begin{tz}[zx,slave, every to/.style={out=up, in=down},xscale=-1]
\draw (0,0) to (0,1.5);
\node[zxnode=\zxwhite] at (0,1.5) {$\psi^\dagger$};
\end{tz}
=~~~
\begin{tz}[zx,slave,every to/.style={out=up, in=down},xscale=-1]
\draw (0,1.5) to (0,2) to [in=left] node[pos=1] (r){} (0.5,2.5) to [out=right, in=up] (1,2)  to (1,0);
\node[zxnode=\zxwhite] at (0,1.5) {$\psi$};
\node[zxvertex=\zxwhite,zxdown] at (r.center){};
\end{tz}
\end{calign}
\end{minipage}
\hspace{\bnd}
&
%%%%%%%
\hspace{\bndm}
\begin{minipage}{\wr\textwidth}
\begin{calign}\nonumber
\begin{tz}[zx,every to/.style={out=up, in=down},xscale=-1]
\draw (0,0) to (0,2) to [out=45] (0.75,3);
\draw (0,2) to [out=135] (-0.75,3);
\draw[arrow data={0.2}{>}, arrow 