1: \begin{abstract}

2: 

3: We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a $2$-category of quantum sets and quantum functions.

4: %

5: We use this framework to formulate a $2$-categorical theory of quantum graphs, which captures the quantum graphs and quantum graph homomorphisms recently discovered in the study of nonlocal games and zero-error communication, and relates them to quantum automorphism groups of graphs considered in the setting of compact quantum groups. 

6: %

7: We show that the $2$-categories of quantum sets and quantum graphs are semisimple. We analyse dualisable and invertible $1$-morphisms in these $2$-categories and show that they correspond precisely to the existing notions of quantum isomorphism and classical isomorphism between sets and graphs. 

8: \end{abstract}

9: