104 citations · 478 across the 35 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
math.LO2012★ 23 cited
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Bart Jacobs
Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in w…
cs.LO2012
Relating Operator Spaces via Adjunctions
Bart Jacobs, Jorik Mandemaker
This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection…