@inproceedings(AbrCoe:CatSemQuant:2004,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004},
 publisher    = {IEEE Computer Society},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@inproceedings(Backens:2015aa,
 author       = {Miriam Backens},
 year         = {2015},
 title        = {Making the stabilizer ZX-calculus complete for scalars},
 editor       = {Chris Heunen and Peter Selinger and Jamie Vicary},
 booktitle    = {Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015)},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {195},
 pages        = {17--32},
 doi          = {10.4204/EPTCS.195.2},
)
@article(balsam2012kitaev,
 author       = {Benjamin Balsam and Kirillov Jr, Alexander},
 year         = {2012},
 title        = {Kitaev's lattice model and {T}uraev-{V}iro {TQFT}s},
 journal      = {ArXiv.org},
 url          = {https://arxiv.org/abs/1206.2308},
)
@article(Beaudrap2017The-ZX-calculus,
 author       = {Niel de Beaudrap and Dominic Horsman},
 year         = {2020},
 title        = {The ZX calculus is a language for surface code lattice surgery},
 journal      = {{Quantum}},
 volume       = {4},
 pages        = {218},
 doi          = {10.22331/q-2020-01-09-218},
)
@article(bespalov2000integrals,
 author       = {Yuri Bespalov and Thomas Kerler and Volodymyr Lyubashenko and Vladimir Turaev},
 year         = {2000},
 title        = {Integrals for braided Hopf algebras},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {148},
 number       = {2},
 pages        = {113--164},
 doi          = {10.1016/S0022-4049(98)00169-8},
)
@article(Bonchi:2019:DAL:3302515.3290338,
 author       = {Filippo Bonchi and Joshua Holland and Robin Piedeleu and Pawe\l Soboci\'{n}ski and Fabio Zanasi},
 year         = {2019},
 title        = {Diagrammatic Algebra: From Linear to Concurrent Systems},
 journal      = {Proceedings of the ACM on Programming Languages},
 volume       = {3},
 number       = {POPL},
 pages        = {25:1--25:28},
 doi          = {10.1145/3290338},
)
@article(Bonchi2014aJournal,
 author       = {Filippo Bonchi and Pawe{\l} Soboci\'nski and Fabio Zanasi},
 year         = {2017},
 title        = {Interacting {H}opf Algebras},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {221},
 number       = {1},
 pages        = {144--184},
 doi          = {10.1016/j.jpaa.2016.06.002},
)
@article(buerschaper2013hierarchy,
 author       = {Oliver Buerschaper and Juan Mart{\'\i}n Mombelli and Matthias Christandl and Miguel Aguado},
 year         = {2013},
 title        = {A hierarchy of topological tensor network states},
 journal      = {Journal of Mathematical Physics},
 volume       = {54},
 number       = {1},
 pages        = {012201},
 doi          = {10.1063/1.4773316},
)
@article(Carbonia:1987aa,
 author       = {A. Carboni and R.F.C. Walters},
 year         = {1987},
 title        = {Cartesian bicategories I},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {49},
 number       = {1-2},
 doi          = {10.1016/0022-4049(87)90121-6},
)
@article(chen2000quantum,
 author       = {Hui-Xiang Chen},
 year         = {2000},
 title        = {Quantum doubles in monoidal categories},
 journal      = {Communications in Algebra},
 volume       = {28},
 number       = {5},
 pages        = {2303--2328},
 doi          = {10.1080/00927870008826961},
)
@article(PavlovicD:MSCS08,
 author       = {B. Coecke and D. Pavlovic and J. Vicary},
 year         = {2013},
 title        = {A new description of orthogonal bases},
 journal      = {Math. Structures in Comp. Sci.},
 volume       = {23},
 number       = {3},
 pages        = {555--567},
 doi          = {10.1017/S0960129512000047},
)
@article(Coecke:2009aa,
 author       = {Bob Coecke and Ross Duncan},
 year         = {2011},
 title        = {Interacting Quantum Observables: Categorical Algebra and Diagrammatics},
 journal      = {New J. Phys},
 volume       = {13},
 number       = {043016},
 doi          = {10.1088/1367-2630/13/4/043016},
 url          = {http://iopscience.iop.org/1367-2630/13/4/043016/},
)
@book(Coecke2017Picturing-Quant,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@incollection(Doi2000Bi-Frobenius-al,
 author       = {Yukio Doi and Mitsuhiro Takeuchi},
 year         = {2000},
 title        = {Bi-Frobenius algebras},
 editor       = {Nicol{\'a}s Andruskiewitsch and Walter Ricardo Ferrer Santos and Hans-J{\"u}rgen Schneider},
 booktitle    = {New trends in {H}opf algebra theory},
 series       = {Contemporary Mathematics},
 volume       = {267},
 publisher    = {American Mathematical Society},
 pages        = {67--98},
 doi          = {10.1090/conm/267/04265},
)
@article(drinfeld1986quantum,
 author       = {Vladimir Gershonovich Drinfeld},
 year         = {1986},
 title        = {Quantum groups},
 journal      = {Zapiski Nauchnykh Seminarov POMI},
 volume       = {155},
 pages        = {18--49},
 doi          = {10.1007/BF01247086},
)
@inproceedings(Duncan2016Interacting-Fro,
 author       = {Ross Duncan and Kevin Dunne},
 year         = {2016},
 title        = {Interacting {F}robenius Algebras are {H}opf},
 editor       = {Martin Grohe and Eric Koskinen and Natarajan Shankar},
 booktitle    = {{Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016}},
 series       = {{LICS '16}},
 publisher    = {{ACM}},
 pages        = {535--544},
 doi          = {10.1145/2933575.2934550},
)
@incollection(Bertfried:2013aa,
 author       = {Bertfried Fauser},
 year         = {2013},
 title        = {Some Graphical Aspects of {F}robenius Algebras},
 editor       = {Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette},
 booktitle    = {Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse},
 publisher    = {Oxford},
 doi          = {10.1093/acprof:oso/9780199646296.003.0002},
)
@inproceedings(Gogioso2016Infinite-dimens,
 author       = {Stefano Gogioso and Fabrizio Genovese},
 year         = {2016},
 title        = {Infinite-dimensional Categorical Quantum Mechanics},
 booktitle    = {Proceedings of QPL 2016},
 series       = {EPTCS},
 doi          = {10.4204/EPTCS.236.4},
)
@article(hasegawa2010bialgebras,
 author       = {Masahito Hasegawa},
 year         = {2010},
 title        = {Bialgebras in rel},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {265},
 pages        = {337--350},
 doi          = {10.1016/j.entcs.2010.08.020},
)
@inproceedings(Jeandel2017A-Complete-Axio,
 author       = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
 year         = {2017},
 title        = {A Complete Axiomatisation of the {ZX}-Calculus for {C}lifford+{T} Quantum Mechanics},
 booktitle    = {LICS '18- Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
 volume       = {arXiv:1705.11151},
 publisher    = {ACM},
 doi          = {10.1145/3209108.3209131},
)
@book(kassel2012quantum,
 author       = {Christian Kassel},
 year         = {2012},
 title        = {Quantum groups},
 volume       = {155},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.4171/047},
)
@article(KelLap:comcl:1980,
 author       = {G.M. Kelly and M.L. Laplaza},
 year         = {1980},
 title        = {Coherence for Compact Closed Categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@book(Kock:TQFT:2003,
 author       = {J. Kock},
 year         = {2003},
 title        = {Frobenius Algebras and 2-D Topological Quantum Field Theories},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511615443},
)
@article(KOPPINEN1996256,
 author       = {M. Koppinen},
 year         = {1996},
 title        = {On Algebras with Two Multiplications, Including Hopf Algebras and Bose--Mesner Algebras},
 journal      = {Journal of Algebra},
 volume       = {182},
 number       = {1},
 pages        = {256 -- 273},
 doi          = {10.1006/jabr.1996.0170},
 url          = {http://www.sciencedirect.com/science/article/pii/S0021869396901702},
)
@article(Lack:2004sf,
 author       = {Stephen Lack},
 year         = {2004},
 title        = {Composing {PROP}s},
 journal      = {Theory and Applications of Categories},
 volume       = {13},
 number       = {9},
 pages        = {147--163},
)
@article(Larson1969An-Associative-,
 author       = {Richard Gustavus Larson and Moss Eisenberg Sweedler},
 year         = {1969},
 title        = {An Associative Orthogonal Bilinear Form for {H}opf Algebras},
 journal      = {American Journal of Mathematics},
 volume       = {91},
 number       = {1},
 pages        = {75--94},
 doi          = {10.2307/2373270},
 url          = {https://www.jstor.org/stable/2373270},
)
@article(Meusburger2017,
 author       = {Catherine Meusburger},
 year         = {2017},
 title        = {Kitaev Lattice Models as a {H}opf Algebra Gauge Theory},
 journal      = {Communications in Mathematical Physics},
 volume       = {353},
 number       = {1},
 pages        = {413--468},
 doi          = {10.1007/s00220-017-2860-7},
)
@article(PAREIGIS1971588,
 author       = {Bodo Pareigis},
 year         = {1971},
 title        = {When Hopf algebras are Frobenius algebras},
 journal      = {Journal of Algebra},
 volume       = {18},
 number       = {4},
 pages        = {588 -- 596},
 doi          = {10.1016/0021-8693(71)90141-4},
 url          = {http://www.sciencedirect.com/science/article/pii/0021869371901414},
)
@inproceedings(Selinger:2010:aa,
 author       = {P. Selinger},
 year         = {2010},
 title        = {Autonomous categories in which ${A} \cong{A}^*$},
 editor       = {B. Coecke and P. Panangaden and P. Selinger},
 booktitle    = {Proceedings of 7th Workshop on Quantum Physics and Logic (QPL 2010)},
 url          = {http://www.mscs.dal.ca/~selinger/papers/halftwist-2up.pdf},
)
@incollection(Selinger:2009aa,
 author       = {Peter Selinger},
 year         = {2011},
 title        = {A survey of graphical languages for monoidal categories},
 editor       = {Bob Coecke},
 booktitle    = {New structures for physics},
 series       = {Lecture Notes in Physics},
 volume       = {813},
 publisher    = {Springer},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9\_4},
)
@book(street2007quantum,
 author       = {R. Street},
 year         = {2007},
 title        = {Quantum Groups: A Path to Current Algebra},
 series       = {Australian Mathematical Society Lecture Series},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511618505},
)
@book(Sweedler1969Hopf-Algebras,
 author       = {Moss E. Sweedler},
 year         = {1969},
 title        = {Hopf Algebras},
 publisher    = {W. A. Benjamin Inc.},
)
@article(Taft2631,
 author       = {Earl J. Taft},
 year         = {1971},
 title        = {The Order of the Antipode of Finite-dimensional Hopf Algebra},
 journal      = {Proceedings of the National Academy of Sciences},
 volume       = {68},
 number       = {11},
 pages        = {2631--2633},
 doi          = {10.1073/pnas.68.11.2631},
 url          = {https://www.pnas.org/content/68/11/2631},
)
@article(takeuchi1999finite,
 author       = {Mitsuhiro Takeuchi},
 year         = {1999},
 title        = {Finite Hopf algebras in braided tensor categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {138},
 number       = {1},
 pages        = {59--82},
 doi          = {10.1016/s0022-4049(97)00207-7},
)