@inbook(abou-saleh_reflections_2016,
 author       = {Abou-Saleh, Faris and James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens},
 year         = {2016},
 title        = {Reflections on Monadic Lenses},
 pages        = {1--31},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-319-30936-1\textunderscore1},
)
@article(bancilhon_update_1981,
 author       = {F. Bancilhon and N. Spyratos},
 year         = {1981},
 title        = {Update semantics of relational views},
 journal      = {ACM Transactions on Database Systems},
 volume       = {6},
 number       = {4},
 pages        = {557--575},
 doi          = {10.1145/319628.319634},
)
@article(coecke_mathematics_2019,
 author       = {Bob Coecke},
 year         = {2019},
 title        = {The {Mathematics} of {Text} {Structure}},
 journal      = {arXiv Preprint},
 volume       = {arXiv:1904.03478 [cs.CL]},
 url          = {https://arxiv.org/abs/1904.03478},
)
@book(bob_coecke_aleks_kissinger_picturing_2017,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {Picturing {Quantum} {Processes}},
 edition      = {1},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(coecke2020meaning,
 author       = {Bob Coecke and Konstantinos Meichanetzidis},
 year         = {2020},
 title        = {Meaning updating of density matrices},
 journal      = {arXiv preprint},
 volume       = {arXiv:2001.00862 [quant-ph]},
 url          = {https://arxiv.org/abs/2001.00862},
)
@incollection(coecke_measurements,
 author       = {Bob Coecke and Dusko Pavlovic},
 year         = {2007},
 title        = {Quantum measurements without sums},
 editor       = {G. Chen and L. Kauffman and S. Lamonaco},
 booktitle    = {Mathematics of Quantum Computing and Technology},
 publisher    = {Taylor and Francis},
 pages        = {567--604},
 doi          = {10.1201/9781584889007.ch16},
 note         = {ArXiv:quant-ph/0608035},
)
@article(coecke_mathematical_meaning,
 author       = {Bob Coecke and Mehrnoosh Sadrzadeh and Stephen Clark},
 year         = {2010},
 title        = {Mathematical Foundations for a Compositional Distributional Model of Meaning},
 journal      = {Lambek Festschrift Linguistic Analysis},
 volume       = {36},
 url          = {http://arxiv.org/abs/1003.4394},
)
@article(coecke_classicality,
 author       = {Bob Coecke and John Selby and Sean Tull},
 year         = {2018},
 title        = {Two Roads to Classicality},
 journal      = {EPTCS},
 volume       = {266},
 pages        = {104--118},
 doi          = {10.4204/eptcs.266.7},
)
@inproceedings(foster_combinators_nodate,
 author       = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
 year         = {2005},
 title        = {Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem},
 editor       = {Jens Palsberg and Mart{\'i}n Abadi},
 booktitle    = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, Long Beach, California, USA, January 12-14, 2005},
 publisher    = {ACM},
 pages        = {233--246},
 doi          = {10.1145/1040305.1040325},
)
@article(gogioso_schrodinger,
 author       = {Stefano Gogioso},
 year         = {2015},
 title        = {Categorical Semantics for Schr\IeC{\"o}dinger's Equation},
 journal      = {arXiv Preprint},
 volume       = {arXiv:1501.06489},
 url          = {https://arxiv.org/abs/1501.06489},
)
@article(gogioso_monadic,
 author       = {Stefano Gogioso},
 year         = {2015},
 title        = {Monadic Dynamics},
 journal      = {arXiv Preprint},
 volume       = {arXiv:1501.04921},
 url          = {https://arxiv.org/abs/1501.04921},
)
@inproceedings(gogioso_dynamics,
 author       = {Stefano Gogioso},
 year         = {2019},
 title        = {{A Diagrammatic Approach to Quantum Dynamics}},
 editor       = {Markus Roggenbach and Ana Sokolova},
 booktitle    = {8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {139},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {19:1--19:23},
 doi          = {10.4230/LIPIcs.CALCO.2019.19},
)
@article(hefford2020categories,
 author       = {James Hefford and Vincent Wang and Matthew Wilson},
 year         = {2020},
 title        = {Categories of Semantic Concepts},
 journal      = {arXiv Preprint},
 volume       = {arXiv:2004.10741},
 url          = {https://arxiv.org/abs/2004.10741},
)
@book(heunen2019categories,
 author       = {C. Heunen and J. Vicary},
 year         = {2019},
 title        = {Categories for Quantum Theory: An Introduction},
 series       = {Oxford Graduate Texts in Mathematics Series},
 publisher    = {Oxford University Press},
 doi          = {10.1093/oso/9780198739623.001.0001},
)
@article(heunen_monads,
 author       = {Chris Heunen and Martti Karvonen},
 year         = {2016},
 title        = {Monads on Dagger Categories},
 journal      = {Theory and Applications of Categories},
 volume       = {31},
 number       = {35},
 pages        = {1016--1043},
)
@article(Heunen_cp,
 author       = {Chris Heunen and Aleks Kissinger and Peter Selinger},
 year         = {2014},
 title        = {Completely positive projections and biproducts},
 journal      = {EPTCS},
 volume       = {171},
 pages        = {71--83},
 doi          = {10.4204/eptcs.171.7},
)
@article(rileyCategoriesOptics2018,
 author       = {Mitchell Riley},
 year         = {2018},
 title        = {Categories of {{Optics}}},
 journal      = {arXiv Preprint},
 volume       = {arXiv:1809.00738},
 url          = {https://arxiv.org/abs/1809.00738},
)
@article(selinger,
 author       = {Peter Selinger},
 year         = {2007},
 title        = {Dagger Compact Closed Categories and Completely Positive Maps},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@article(selinger_idempotents,
 author       = {Peter Selinger},
 year         = {2008},
 title        = {Idempotents in Dagger Categories: (Extended Abstract)},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {210},
 pages        = {107 -- 122},
 doi          = {10.1016/j.entcs.2008.04.021},
 note         = {Proceedings of the 4th International Workshop on Quantum Programming Languages (QPL 2006)},
)