Ordered linear spaces and categories as frameworks for information-processing characterizations of quantum and classical theory

摘要: We review some of our recent results (with collaborators) on information processing in an ordered linear spaces framework for probabilistic theories. These include demonstrations that many "inherently quantum" phenomena are reality quite general characteristics non-classical theories, quantum or otherwise. As example, a set states such theory is broadcastable if, and only it contained simplex whose vertices cloneable, therefore distinguishable by single measurement. another can be obtained about system this without causing disturbance to the state, must inherently classical. also teleportation protocols framework, fact any entanglement allows exponentially secure bit commitment framework. Finally, we sketch ways formulating terms categories, light consider relation work Abramsky, Coecke, Selinger, Baez others other aspects theories formulated categorically.