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
7 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 Mandemaker
Components Traces – Ichiro Hasuo, Bart Jacobs - 2010
Bohrification – Chris Heunen, Bas Spitters, et al. - 2010
2 COMPACTLY ACCESSIBLE CATEGORIES AND QUANTUM KEY DISTRIBUTION – Chris Heunen
32 Operads In Higher-Dimensional Category Theory – Tom Leinster - 2004
1 MONADS AS EXTENSION SYSTEMS —NO ITERATION IS NECESSARY – F. Marmolejo, R. J. Wood