A central theme of this thesis is the quantization and generalization of objects from areas of mathematics such as set theory and combinatorics with application to quantum information. We represent mathematical objects such as Latin squares or functions as string diagrams over the category of finite-dimensional Hilbert spaces obeying various diagrammatic axioms. This leads to a direct understanding of how these objects arise in quantum mechanics and gives insight into how quantum analogues can be defined. In Part I of this thesis we introduce quantum Latin squares (QLS), quantum objects which generalize the classical Latin squares from combinatorics. We present a new method for constructing a unitary error basis (UEB) from a quantum Latin square equipped with extra data, which we show simultaneously generalizes the existing shift-and-multiply and Hadamard methods. We introduce two different notions of orthogonality for QLS which we use to construct families of mutually unbiased bases and perfect tensors respectively. We also introduce a further generalization of Latin squares called quantum Latin isometry squares. We use these to produce quantum error codes and to give a new way of characterizing UEBs. In Part II we show that maximal families of mutually unbiased bases (MUBs) are characterized in all dimensions by partitioned UEBs, up to a choice of a family of Hadamards. Furthermore, we give a new construction of partitioned UEBs, and thus maximal families of MUBs, from a finite field, which is simpler and more direct than previous proposals. We introduce new tensor diagrammatic characterizations of maximal families of MUBs, partitioned UEBs, and finite fields as algebraic structures defined over Hilbert spaces. In Part III we introduce quantum functions and quantum sets, which quantize the classical notions. We show that these structures form a 2-category 'QSet'. We extend this framework to introduce quantum graphs and quantum homomorphisms which form a 2-category 'QGraph'. We show that these 2-categories capture several different notions of quantum morphism and noncommutative graph from various previous papers in noncommutative topology, quantum non-local games and quantum information. We later use the correspondence between our quantum graph morphisms and those from quantum non-local games to show that pairs of quantum isomorphic graphs with multiple connected components are built up of quantum isomorphisms on those components.