Involutive categories and monoids, with a GNS-correspondence (2010)

by Bart Jacobs
Venue:In Quantum Physics and Logic (QPL
Citations:4 - 2 self

Active Bibliography

1 Probabilities, Distribution Monads, and Convex Categories – Bart Jacobs
CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
9 Quantum logic in dagger kernel categories – Chris Heunen, Bart Jacobs
3 Convexity, duality, and effects – Bart Jacobs - 2010
6 Coalgebraic Components in a Many-Sorted Microcosm – Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
Towards a Categorical Axiomatics of Bisimulation – Gian Luca Cattani, A. John Power, Glynn Winskel - 1999
Traces for Coalgebraic Components – Ichiro Hasuo, Bart Jacobs - 2010
11 The microcosm principle and concurrency in coalgebras – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2008
1 COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS – Anders Kock
DOI 10.1007/s10701-012-9654-8 Coreflections in Algebraic Quantum Logic – Bart Jacobs Jorik M
18 A Categorical Axiomatics for Bisimulation – John Power, Glynn Winskel, Gian Luca Cattani, Gian Luca Cattani - 1998
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
6 An Australian conspectus of higher categories – Ross Street - 2004
The Expectation Monad in Quantum Foundations – Bart Jacobs, Jorik M
Components Traces – Ichiro Hasuo, Bart Jacobs - 2010
12 The X Window System – Pauray S. M. Tsai A, Chien-ming Chen B - 1990
Bohrification – Chris Heunen, Bas Spitters, et al. - 2010
8 categorical quantum mechanics – Samson Abramsky, Chris Heunen - 2010
2 COMPACTLY ACCESSIBLE CATEGORIES AND QUANTUM KEY DISTRIBUTION – Chris Heunen