Fetching the paper…
Reading the bibliography…
Within the context of an involutive monoidal category the notion of a comparison relation is identified.
Bilinearity and cartesian closed monads
A. Kock · 1971
Earlier work this paper cites.
Closed categories generated by commutative monads
A. Kock · 1971
Earlier work this paper cites.
Les distributeurs
J. Bénabou · 1973
Earlier work this paper cites.
Metric spaces, generalized logic, and closed categories
F.W. Lawvere · 1973
Earlier work this paper cites.
On some orthomodular posets of vector bundles
G.D. Crown · 1975
Earlier work this paper cites.
Orthomodular Lattices
G. Kalmbach · 1983
Earlier work this paper cites.
Algebraically compact functors
M. Barr · 1992
Earlier work this paper cites.
Traced monoidal categories
A. Joyal, R. Street, and D. Verity · 1996
Earlier work this paper cites.
Quantum Computation and Quantum Information
M.A. Nielsen and I.L. Chuang · 2000
Earlier work this paper cites.
The converse of a stochastic relation
E.-E. Doberkat · 2003
Cited alongside, same era.
Quantum random walks – an introductory overview
J. Kempe · 2003
Cited alongside, same era.
A categorical model for the geometry of interaction
E. Haghverdi and Ph. Scott · 2006
Cited alongside, same era.
Quantum Computer Science: An Introduction
N.D. Mermin · 2007
Cited alongside, same era.
Eilenberg-Moore algebras for stochastic relations
E.-E. Doberkat · 2008
Cited alongside, same era.
The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
K. Keimel · 2008
Cited alongside, same era.
Quantum Walks for Computer Scientists
Convexity, duality, and effects
B. Jacobs · 2010
Later among the works it cites.
Orthomodular lattices, Foulis semigroups and dagger kernel categories
B. Jacobs · 2010
Later among the works it cites.
Dagger categories and formal distributions
R. Blute and P. Panangaden · 2011
Closest in time.
On involutive monoidal categories
J.M. Egger · 2011
Closest in time.
Coalgebraic walks, in quantum and Turing computation
B. Jacobs · 2011
Closest in time.
Involutive categories and monoids, with a GNS-correspondence
B. Jacobs · 2011
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
S. Venegas-Andraca · 2008
Cited alongside, same era.
Bar categories and star operations
E.J. Beggs and S. Majid · 2009
Cited alongside, same era.
Quantum logic in dagger kernel categories
C. Heunen and B. Jacobs · 2010
Cited alongside, same era.
D. Coumans and B. Jacobs · 2012
Closest in time.
New directions in categorical logic, for classical, probabilistic and quantum logic
B. Jacobs · 2012
Closest in time.