[1] Abramsky, Samson, Coecke, Bob: A categorical semantics of quantum protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. Institute of Electrical and Electronics Engineers (IEEE), 2004. arXiv:quant-ph/0402130, doi:10.1109/lics.2004.1319636 DOI 10.1109/lics.2004.1319636

[2] Abramsky, Samson, Coecke, Bob: Categorical quantum mechanics. In Handbook of Quantum Logic and Quantum Structures, pages 261–323. Elsevier, Amsterdam. arXiv:0808.1023, doi:10.1016/B978-0-444-52869-8.50010-4 DOI 10.1016/B978-0-444-52869-8.50010-4

[3] Afzaly, Narjess, Morrison, Scott, Penneys, David: The classification of subfactors with index at most 51/4. arXiv:1509.00038

[4] Backens, Miriam: The ZX-calculus is complete for stabilizer quantum mechanics. New Journal of Physics, 16(9):093021, 2014. arXiv:1307.7025, doi:10.1088/1367-2630/16/9/093021 DOI 10.1088/1367-2630/16/9/093021

[5] Baez, John C.: Higher-dimensional algebra II. 2-Hilbert spaces. Advances in Mathematics, 127(2):125–189, 1997. arXiv:9609018, doi:10.1006/aima.1997.1617 DOI 10.1006/aima.1997.1617

[6] Banica, Teodor, Bichon, Julien, Collins, Benoı̂t: Quantum permutation groups: a survey. In Noncommutative Harmonic Analysis with Applications to Probability. Institute of Mathematics, Polish Academy of Sciences. arXiv:math/0612724, doi:10.4064/bc78-0-1 DOI 10.4064/bc78-0-1

[7] Banica, Teodor, Bichon, Julien, Schlenker, Jean-Marc: Representations of quantum permutation algebras. Journal of Functional Analysis, 257(9):2864–2910. arXiv:0901.2331, doi:10.1016/j.jfa.2009.04.013 DOI 10.1016/j.jfa.2009.04.013

[8] Banica, Teodor, Nicoară, Remus: Quantum groups and Hadamard matrices. Panamer. Math. J., 17:1–24. arXiv:math/0610529

[9] Barrett, John W., Meusburger, Catherine, Schaumann, Gregor: Gray categories with duals and their diagrams. arXiv:1211.0529

[10] Bartlett, Bruce: Quasistrict symmetric monoidal 2-categories via wire diagrams. arXiv:1409.2148

[11] Benoist, Tristan, Nechita, Ion: On bipartite unitary matrices generating subalgebra-preserving quantum operations. Linear Algebra Appl., 521:70–103. arXiv:1608.05811, doi:10.1016/j.laa.2017.01.020 DOI 10.1016/j.laa.2017.01.020

[12] Coecke, Bob: Kindergarten quantum mechanics: Lecture notes. In AIP Conference Proceedings. AIP Publishing, 2006. arXiv:quant-ph/0510032, doi:10.1063/1.2158713 DOI 10.1063/1.2158713

[13] Coecke, Bob, Duncan, Ross: Interacting quantum observables. In Automata, Languages and Programming, volume 5126 of Lecture Notes in Computer Science, pages 298–310. Springer Science + Business Media. arXiv:0906.4725, doi:10.1007/978-3-540-70583-3_25 DOI 10.1007/978-3-540-70583-3_25

[14] Coecke, Bob, Heunen, Chris, Kissinger, Aleks: Categories of quantum and classical channels. Quantum Information Processing. arXiv:1305.3821, doi:10.1007/s11128-014-0837-4 DOI 10.1007/s11128-014-0837-4

[15] Coecke, Bob, Kissinger, Aleks: Picturing Quantum Processes. Cambridge University Press

[16] Coecke, Bob, Pavlovic, Dusko, Vicary, Jamie: A new description of orthogonal bases. Mathematical Structures in Computer Science, 23(03):555–567. arXiv:0810.0812, doi:10.1017/s0960129512000047 DOI 10.1017/s0960129512000047

[17] Dawson, Robert, Paré, Robert: Characterizing tileorders. Order, 10(2):111–128, 1993. doi:10.1007/bf01111295 DOI 10.1007/bf01111295

[18] Diţă, Petre: Some results on the parametrization of complex Hadamard matrices. J. Phys. A: Math. Gen., 37(20):5355–5374. doi:10.1088/0305-4470/37/20/008 DOI 10.1088/0305-4470/37/20/008

[19] Durt, Thomas, Englert, Berthold-Georg, Bengtsson, Ingemar, Życzkowski, Karol: On mutually unbiased bases. International Journal of Quantum Information, 08(04):535–640, 2010. arXiv:1004.3348, doi:10.1142/s0219749910006502 DOI 10.1142/s0219749910006502

[20] Elgueta, Josep: A strict totally coordinatized version of Kapranov and Voevodsky’s 2-category 2Vect. Math. Proc. Camb. Phil. Soc., 142(03):407, 2007. arXiv:math/0406475, doi:10.1017/s0305004106009881 DOI 10.1017/s0305004106009881

[21] Evans, David E., Kawahigashi, Yasuyuki: Quantum symmetries on operator algebras. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York. Oxford Science Publications

[22] Haagerup, Uffe: Orthogonal maximal abelian *-subalgebras of the n × n matrices and cyclic n-roots. Institut for Matematik, U. of Southern Denmark, 29:296–322

[23] Hosoya, Rie, Suzuki, Hiroshi: Type II matrices and their Bose-Mesner algebras. Journal of Algebraic Combinatorics, 17(1):19–37, 2003. doi:10.1023/a:1021960623533 DOI 10.1023/a:1021960623533

[24] Hummon, Benjamin: Surface diagrams for Gray categories. PhD thesis, UC San Diego. Available online

[25] Izumi, Masaki, Morrison, Scott, Penneys, David, Peters, Emily, Snyder, Noah: Subfactors of index exactly 5. Bulletin of the London Mathematical Society, 47(2):257–269. arXiv:1406.2389, doi:10.1112/blms/bdu113 DOI 10.1112/blms/bdu113

[26] Jaffe, Arthur, Liu, Zhengwei: Planar para algebras, reflection positivity. Comm. Math. Phys., 352(1):95–133. arXiv:1602.02662, doi:10.1007/s00220-016-2779-4 DOI 10.1007/s00220-016-2779-4

[27] Jaffe, Arthur, Liu, Zhengwei, Wozniakowski, Alex: Constructive simulation and topological design of protocols. New Journal of Physics, 19(6):063016. arXiv:1611.06447, doi:10.1088/1367-2630/aa5b57 DOI 10.1088/1367-2630/aa5b57

[28] Jaffe, Arthur, Liu, Zhengwei, Wozniakowski, Alex: Holographic software for quantum networks. Sci. China Math., 61(4):593–626. URL: https://doi.org/10.1007/s11425-017-9207-3, arXiv:1605.00127, doi:10.1007/s11425-017-9207-3 DOI 10.1007/s11425-017-9207-3

[29] Jones, Vaughan F. R.: On knot invariants related to some statistical mechanical models. Pacific Journal of Mathematics, 137(2):311–334. doi:10.2140/pjm.1989.137.311 DOI 10.2140/pjm.1989.137.311

[30] Jones, Vaughan F. R.: Planar algebras, I. arXiv:math/9909027

[31] Jones, Vaughan F. R., Morrison, Scott, Snyder, Noah: The classification of subfactors of index at most 5. Bull. Amer. Math. Soc., 51(2):277–327. arXiv:1304.6141, doi:10.1090/s0273-0979-2013-01442-3 DOI 10.1090/s0273-0979-2013-01442-3

[32] Jones, Vaughan F. R., Sunder, Vaikalathur S.: Introduction to Subfactors. Cambridge University Press (CUP), 1997. doi:10.1017/cbo9780511566219 DOI 10.1017/cbo9780511566219

[33] Joyal, André, Street, Ross: The geometry of tensor calculus, I. Advances in Mathematics, 88(1):55–112. doi:10.1016/0001-8708(91)90003-p DOI 10.1016/0001-8708(91)90003-p

[34] Kissinger, Aleks, Zamdzhiev, Vladimir: Quantomatic: A proof assistant for diagrammatic reasoning. In Automated Deduction - CADE-25, pages 326–336. Springer Science + Business Media. arXiv:1503.01034, doi:10.1007/978-3-319-21401-6_22 DOI 10.1007/978-3-319-21401-6_22

[35] Klappenecker, Andreas, Rötteler, Martin: Unitary error bases: Constructions, equivalence, and applications. In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, pages 139–149. Springer. doi:10.1007/3-540-44828-4_16 DOI 10.1007/3-540-44828-4_16

[36] Knill, Emanuel: Group representations, error bases and quantum codes. Los Alamos National Laboratory Report LAUR-96-2807, 1996. arXiv:quant-ph/9608049, doi:10.2172/378680 DOI 10.2172/378680

[37] Knill, Emanuel: Non-binary unitary error bases and quantum codes. Los Alamos National Laboratory Report LAUR-96-2717, 1996. arXiv:quant-ph/9608048, doi:10.2172/373768 DOI 10.2172/373768

[38] Matolcsi, Máté, Réffy, Júlia, Szöllősi, Ferenc: Constructions of complex Hadamard matrices via tiling abelian groups. Open Syst. Inf. Dyn., 14(03):247–263. arXiv:quant-ph/0607073, doi:10.1007/s11080-007-9050-6 DOI 10.1007/s11080-007-9050-6

[39] Meyer, David A., Wong, Thomas G.: Connectivity is a poor indicator of fast quantum search. Phys. Rev. Lett., 114(11). arXiv:1409.5876, doi:10.1103/physrevlett.114.110503 DOI 10.1103/physrevlett.114.110503

[40] Morrison, Scott, Peters, Emily: The little desert? Some subfactors with index in the interval (5,3+sqrt5). International Journal of Mathematics, 25(08):1450080. arXiv:1205.2742, doi:10.1142/s0129167x14500803 DOI 10.1142/s0129167x14500803

[41] Musto, Benjamin: Constructing mutually unbiased bases from quantum Latin squares. 236:108–126. arXiv:1605.08919, doi:10.4204/EPTCS.236.8 DOI 10.4204/EPTCS.236.8

[42] Musto, Benjamin, Vicary, Jamie: Quantum Latin squares and unitary error bases. Quantum Inf. Comput., 16(15-16):1318–1332, 2016. arXiv:1504.02715

[43] Nicoară, Remus: A finiteness result for commuting squares of matrix algebras. J. Operator Theory, 55(2):295–310, 2006. arXiv:math/0404301

[44] Nicoară, Remus: Subfactors and Hadamard matrices. J. Operator Theory, 64(2):453–468, 2010. arXiv:0704.1128

[45] Ocneanu, Adrian: Quantized groups, string algebras, and Galois theory for algebras. In David E. Evans and Masamichi Takesaki, editors, Operator Algebras and Applications, pages 119–172. Cambridge University Press (CUP). doi:10.1017/cbo9780511662287.008 DOI 10.1017/cbo9780511662287.008

[46] Orús, Román: A practical introduction to tensor networks: Matrix product states and projected entangled pair states. Annals of Physics, 349:117–158. arXiv:1306.2164, doi:10.1016/j.aop.2014.06.013 DOI 10.1016/j.aop.2014.06.013

[47] Penrose, Roger: Applications of negative-dimensional tensors. In D.J.A. Welsh, editor, Combinatorial Mathematics and its Applications, pages 221–244. Academic Press, New York

[48] Petrescu, Mihai: Existence of Continuous Families of Complex Hadamard Matrices of Certain Prime Dimensions and Related Results. PhD thesis, University of California, Los Angeles

[49] Popa, Sorin: Orthogonal pairs of *-subalgebras in finite von Neumann algebras. J. Operator Theory, 9(2):253–268

[50] Schommer-Pries, Christopher: The classification of two-dimensional extended topological field theories. PhD thesis, Department of Mathematics, University of California, Berkeley, 2009. arXiv:1112.1000

[51] Selinger, Peter: Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science, 170:139–163. doi:10.1016/j.entcs.2006.12.018 DOI 10.1016/j.entcs.2006.12.018

[52] Selinger, Peter: A survey of graphical languages for monoidal categories. In New Structures for Physics, pages 289–355. Springer Science + Business Media. arXiv:0908.3347, doi:10.1007/978-3-642-12821-9_4 DOI 10.1007/978-3-642-12821-9_4

[53] Shannon, Claude E.: Communication theory of secrecy systems. Bell System Technical Journal, 28(4):656–715. doi:10.1002/j.1538-7305.1949.tb00928.x DOI 10.1002/j.1538-7305.1949.tb00928.x

[54] Shor, Peter W.: Fault-tolerant quantum computation. In Proceedings of 37th Conference on Foundations of Computer Science, pages 56–65. IEEE Computer Society Press, 1996. arXiv:quant-ph/9605011, doi:10.1109/sfcs.1996.548464 DOI 10.1109/sfcs.1996.548464

[55] Szöllősi, Ferenc: Construction, classification and parametrization of complex Hadamard matrices. PhD thesis, Central European University, Budapest, Hungary, 2011. arXiv:1110.5590

[56] Szöllősi, Ferenc: Complex Hadamard matrices of order 6: a four-parameter family. Journal of the London Mathematical Society, 85(3):616–632. arXiv:1008.0632, doi:10.1112/jlms/jdr052 DOI 10.1112/jlms/jdr052

[57] Tadej, Wojciech, Życzkowski, Karol: A concise guide to complex Hadamard matrices. Open Syst. Inf. Dyn., 13(02):133–177. arXiv:quant-ph/0512154, doi:10.1007/s11080-006-8220-2 DOI 10.1007/s11080-006-8220-2

[58] Vicary, Jamie: Higher quantum theory. arXiv:1207.4563

[59] Vicary, Jamie: Higher semantics of quantum protocols. In 27th Annual IEEE Symposium on Logic in Computer Science. Institute of Electrical & Electronics Engineers (IEEE). doi:10.1109/lics.2012.70 DOI 10.1109/lics.2012.70

[60] Werner, Reinhard F.: All teleportation and dense coding schemes. J. Phys. A: Math. Gen., 34(35):7081–7094. doi:10.1088/0305-4470/34/35/332 DOI 10.1088/0305-4470/34/35/332

[61] Wocjan, Pawel, Beth, Thomas: New construction of mutually unbiased bases in square dimensions. Quantum Inf. Comput., 5(2):93–101, 2005. arXiv:quant-ph/0407081