Categories of relations as models of quantum theory
Categories of relations as models of quantum theory
复制标题
作为量子理论模型的关系类别
DOI：
10.4204/eptcs.195.18
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
S. Tull
中科院分区：
文献类型：
--
作者：
C. Heunen;S. Tull
正则范畴上的关系范畴构成了量子论的一组模型。使用正则逻辑，集合上关系的许多性质都可以提升到这些模型，包括Frobenius结构和内部群类群之间的对应关系。在紧致Hausdorff空间上，这种提升给出了连续对称加密。在正则Mal 'cev范畴上，这种对应给出了完全正映射范畴的表征，使量子特征的表述成为可能。这些模型在以下几个方面比集合上的关系更接近希尔伯特空间：海森堡不确定性、传播的不可能性和一级态射的行为。
Categories of relations over a regular category form a family of models of quantum theory. Using regular logic, many properties of relations over sets lift to these models, including the correspondence between Frobenius structures and internal groupoids. Over compact Hausdorff spaces, this lifting gives continuous symmetric encryption. Over a regular Mal’cev category, this correspondence gives a characterization of categories of completely positive maps, enabling the formulation of quantum features. These models are closer to Hilbert spaces than relations over sets in several respects: Heisenberg uncertainty, impossibility of broadcasting, and behavedness of rank one morphisms.
影响因子：
2.5
作者：
Coecke, Bob;Heunen, Chris;Kissinger, Aleks
通讯作者：
Kissinger, Aleks
DOI：
10.1007/978-3-642-38164-5
发表时间：
2013
期刊：
--
影响因子：
--
作者：
B. Coecke;Luke Ong;P. Panangaden;S. Abramsky
通讯作者：
B. Coecke;Luke Ong;P. Panangaden;S. Abramsky