1: \begin{definition}[{\cite[Definition 3.18 and Theorem 3.20]{Musto2017a}}]\label{def:2catqgraph} The dagger 2-category $\QGraphIso$ is defined as follows:

2: \begin{itemize}

3: \item \textbf{objects} are quantum graphs $\Gamma, \Gamma'$, ...;

4: \item \textbf{1-morphisms} $\Gamma\to \Gamma'$ are quantum isomorphisms $(H,P):\Gamma \to \Gamma'$;

5: \item \textbf{2-morphisms} $(H,P)\to  (\!H', P')$ are intertwiners of quantum isomorphisms.

6: \end{itemize}

7: The composition of two quantum isomorphisms $(H,P):A\to  B$ and $(H', Q): B \to C$ is a quantum isomorphism $(H'\otimes H, Q\circ P)$ defined as follows:

8: \begin{calign}

9: \begin{tz}[zx,xscale=-1, every to/.style={out=up, in=down}] \label{eq:1composition}

10: \draw[arrow data={0.15}{>}, arrow data={0.8}{>}] (1.575,0) to (0.325,3.5);

11: \draw[string,arrow data={0.18}{>}, arrow data={0.85}{>}] (2.175,0) to (0.925,3.5);

12: \draw (0,0) to node[zxvertex=\zxwhite, pos=0.5] {$Q\circ P$} (2.5,3.5);

13: \node[dimension,left] at (2.175,0) {$H'\otimes H$};

14: \end{tz}

15: \! := \quad

16: \begin{tz}[zx,xscale=-1, every to/.style={out=up, in=down}]

17: \draw (0,0) to (2.5,3.5);

18: \draw[arrow data={0.15}{>}, arrow data={0.8}{>}] (1.25,0) to node[zxnode=\zxwhite, pos=0.4] {$P$} (0,3.5);

19: \draw[string,arrow data={0.2}{>}, arrow data={0.9}{>}] (2.5,0) to node[zxnode=\zxwhite, pos=0.58] {$Q$} (1.25,3.5);

20: \node[dimension,left] at (1.25,0) {$H$};

21: \node[dimension, left] at (2.5,0) {$H'$};

22: \end{tz}

23: \end{calign}

24: Vertical and horizontal composition of 2-morphisms is defined as the ordinary composition and tensor product of linear maps, respectively. The $\dagger$-adjoint of a 2-morphism is defined as the Hilbert space adjoint of the underlying linear map.

25: \end{definition}

26: