2015/06/30 by Stefano Gogioso
Physics and Astronomy · Computer Science · Mathematics · #quant-ph #cs.LO #math.CT #math.QA
paper · pdf · doi:10.4204/eptcs.195.16
published as EPTCS 195, 2015, pp. 208-227 · In Proceedings QPL 2015, arXiv:1511.01181
arxiv created 2015/11/05 · arxiv updated 2015/11/06
Building on established literature and recent developments in the graph-theoretic characterisation of its CPM category, we provide a treatment of pure state and mixed state quantum mechanics in the category fRel of finite sets and relations. On the way, we highlight the wealth of exotic beasts that hide amongst the extensive operational and structural similarities that the theory shares with more traditional arenas of categorical quantum mechanics, such as the category fdHilb. We conclude our journey by proving that fRel is local, but not without some unexpected twists.