Abstract physical traces Export

@article{AbramskyCoecke05APT, abstract = {in the light of the results in [Abramsky and Coecke LiCS'04]. The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties to be proved. In this paper we improve on the definition of strong compact closure as compared to the one presented in [Abramsky and Coecke LiCS'04]. This modification enables an elegant characterization of strong compact closure in terms of adjoints and a Yanking axiom, and a better treatment of bipartite projectors.}, author = {Abramsky, Samson and Coecke, Bob and Ctcs, Coecke}, citeulike-article-id = {4859147}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.7849}, journal = {Theory and Applications of Categories}, keywords = {category\_theory, physics, quantum\_logic, quantum\_operator\_algebras, traces}, pages = {111--124}, posted-at = {2009-06-15 12:55:59}, priority = {2}, title = {Abstract physical traces}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.7849}, volume = {14}, year = {2005} }

TY - JOUR ID - AbramskyCoecke05APT L3 - citeulike-article-id:4859147 N2 - in the light of the results in [Abramsky and Coecke LiCS‘04]. The key fact is that the notion of a strongly compact closed category allows abstract notions of adjoint, bipartite projector and inner product to be defined, and their key properties to be proved. In this paper we improve on the definition of strong compact closure as compared to the one presented in [Abramsky and Coecke LiCS‘04]. This modification enables an elegant characterization of strong compact closure in terms of adjoints and a Yanking axiom, and a better treatment of bipartite projectors. JF - Theory and Applications of Categories EP - 124 TI - Abstract physical traces VL - 14 SP - 111 KW - category_theory KW - physics KW - quantum_logic KW - quantum_operator_algebras KW - traces AU - Abramsky, Samson AU - Coecke, Bob AU - Ctcs, Coecke PY - 2005/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.7849 ER -