104 citations · 478 across the 35 of their papers we have counts for
4 papers · 1 filter
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
Bart Jacobs
This paper is a sequel to arXiv:0902.2355 and continues the study of quantum logic via dagger kernel categories. It develops the relation between these categories and both orthomod…
Duality for Convexity
Bart Jacobs
This paper studies convex sets categorically, namely as algebras of a distribution monad. It is shown that convex sets occur in two dual adjunctions, namely one with preframes via…
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
Bart Jacobs
This paper is a sequel to arXiv:0902.2355 and continues the study of quantum logic via dagger kernel categories. It develops the relation between these categories and both orthomod…
Quantum Logic in Dagger Kernel Categories
Chris Heunen, Bart Jacobs
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The r…