Classical Structures Based on Unitaries

DOI10.1007/978-3-642-54789-8_11zbMath1286.81014arXiv1305.4491OpenAlexW2962997599MaRDI QIDQ5414965

No author found.

Publication date: 8 May 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

self-similaritycategory theorycategorical quantum mechanicsclassical structuresuntyped systems

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

Tensor topology ⋮ Coherence and strictification for self-similarity ⋮ Quantum computation and real multiplication

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• A general theory of self-similarity
• H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• Quantum Circuits with Unbounded Fan-out
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Geometry of Interaction and linear combinatory algebras
• A categorical analogue of the monoid semiring construction
• On the Functor ℓ2
• A new description of orthogonal bases
• A single quantum cannot be cloned
• Types and forgetfulness in categorical linguistics and quantum mechanics
• Elementary remarks on units in monoidal categories
• Representations of Inverse Semi-Groups
• Restriction categories. I: Categories of partial maps

This page was built for publication: Classical Structures Based on Unitaries