Dagger categories of tame relations

DOI10.1007/s11787-013-0079-8zbMath1294.68107arXiv1101.1077OpenAlexW2035772207MaRDI QIDQ382419

Bart Jacobs

Publication date: 19 November 2013

Published in: Logica Universalis (Search for Journal in Brave)

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

zbMATH Keywords

dagger categorydagger category of relations in monoidal categoriesdiscrete quantum computations

Mathematics Subject Classification ID

Quantum computation (81P68) Semantics in the theory of computing (68Q55)

Related Items (4)

Involutive categories and monoids, with a GNS-correspondence ⋮ Algebraic properties of stochastic effectivity functions ⋮ A stochastic interpretation of game logic ⋮ Quantum walks: a comprehensive review

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorical model for the geometry of interaction
• Bar categories and star operations
• Eilenberg--Moore algebras for stochastic relations
• Quantum logic in dagger kernel categories
• Algebraically compact functors
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Coalgebraic Walks, in Quantum and Turing Computation
• Dagger Categories and Formal Distributions
• Convexity, Duality and Effects
• Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
• Metric spaces, generalized logic, and closed categories
• Multiplicities in graded rings II: integral equivalence and the Buchsbaum–Rim multiplicity
• Quantum Computer Science
• Closed categories generated by commutative monads
• Bilinearity and Cartesian Closed Monads.

This page was built for publication: Dagger categories of tame relations