Abstract Physical Traces

zbMath1065.18005arXiv0910.3144MaRDI QIDQ4680358

Samson Abramsky, Bob Coecke

Publication date: 1 June 2005

Full work available at URL: https://arxiv.org/abs/0910.3144

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Linear transformations, semilinear transformations (15A04) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categories of spans/cospans, relations, or partial maps (18B10)

Related Items (14)

Charged Rényi entropies in CFTs with Einstein-Gauss-Bonnet holographic duals ⋮ Some Nearly Quantum Theories ⋮ Unnamed Item ⋮ A diagrammatic derivation of the Hermitian adjoint ⋮ Interacting quantum observables: categorical algebra and diagrammatics ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ Categorical formulation of finite-dimensional quantum algebras ⋮ A link between quantum logic and categorical quantum mechanics ⋮ Categorical Formulation of Finite-dimensional C*-algebras ⋮ The Mathematics of Text Structure ⋮ De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure ⋮ What are the Fundamental Structures of Concurrency? ⋮ Axiomatic Description of Mixed States From Selinger's CPM-construction ⋮ POVMs and Naimark's Theorem Without Sums

This page was built for publication: Abstract Physical Traces