1. Abramsky, S.: No-Cloning in categorical quantum mechanics. In: Mackie, I., Gay, S. (eds.) Semantic Techniques for Quantum Computation. Cambridge University Press, Cambridge (2008)
2. Abramsky, S., Coecke, B.: A Categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS’04), IEEE Computer Science Press, 2004. arXiv:quant-ph/0402130 An updated & improved version appeared under the title Categorical quantum mechanics. In: Handbook of quantum logic and quantum structures, Elsevier. arXiv:0808.1023
3. Abramsky, S., Coecke, B.: Abstract physical traces. Theor. Appl. Categories 14, 111–124 (2006). http://www.tac.mta.ca/tac/volumes/14/6/14–06abs.html
4. Abramsky, S., Tzevelekos, N.: Introduction to categories and categorical logic. In: Coecke, B. (ed.) New Structures for Physics. Springer Lecture Notes in Physics, New York (2009)
5. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories – The Joy of Cats. Wiley, New York (1990). Freely available from http://katmat.math.uni-bremen.de/acc/acc.pdf