1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. IEEE Comput. Soc. Press, Los Alamitos, CA (2004)
2. Bingham, N.H., Ostaszewski, A.J.: Normed versus topological groups: dichotomy and duality. Dissertationes Math. (Rozprawy Mat.) 472, 138 (2010)
3. Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, Graduate Texts in Mathematics (78). Springer (1981)
4. Chiara, M.D., Giuntini, R., Greechie, R.J.: Reasoning in Quantum Theory Sharp and Unsharp Quantum Logics Trends in Logic, vol. 22. Kluwer, Dordrecht/Boston/London (2004)
5. Gogioso, S.: Categorical quantum mechanics for Schrödinger’s equation, arXiv:
1501.06489v2