Title |
Quantum Logic in Dagger Kernel Categories
|
---|---|
Published in |
Order, February 2010
|
DOI | 10.1007/s11083-010-9145-5 |
Authors |
Chris Heunen, Bart Jacobs |
Abstract |
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 resulting structures turn out to (1) encompass many examples of interest, such as categories of relations, partial injections, Hilbert spaces (also modulo phase), and Boolean algebras, and (2) have interesting categorical/logical properties, in terms of kernel fibrations, such as existence of pullbacks, factorisation, and orthomodularity. For instance, the Sasaki hook and and-then connectives are obtained, as adjoints, via the existential-pullback adjunction between fibres. |
Mendeley readers
The data shown below were compiled from readership statistics for 26 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
Country | Count | As % |
---|---|---|
United Kingdom | 1 | 4% |
Russia | 1 | 4% |
Unknown | 24 | 92% |
Demographic breakdown
Readers by professional status | Count | As % |
---|---|---|
Student > Bachelor | 3 | 12% |
Student > Ph. D. Student | 2 | 8% |
Lecturer > Senior Lecturer | 1 | 4% |
Unspecified | 1 | 4% |
Professor | 1 | 4% |
Other | 3 | 12% |
Unknown | 15 | 58% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 5 | 19% |
Mathematics | 3 | 12% |
Physics and Astronomy | 2 | 8% |
Arts and Humanities | 1 | 4% |
Unknown | 15 | 58% |
Attention Score in Context
This research output has an Altmetric Attention Score of 13. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 08 September 2022.
All research outputs
#2,484,235
of 23,292,144 outputs
Outputs from Order
#5
of 116 outputs
Outputs of similar age
#9,595
of 95,352 outputs
Outputs of similar age from Order
#1
of 1 outputs
Altmetric has tracked 23,292,144 research outputs across all sources so far. Compared to these this one has done well and is in the 89th percentile: it's in the top 25% of all research outputs ever tracked by Altmetric.
So far Altmetric has tracked 116 research outputs from this source. They receive a mean Attention Score of 3.7. This one has done particularly well, scoring higher than 94% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 95,352 tracked outputs that were published within six weeks on either side of this one in any source. This one has done well, scoring higher than 89% of its contemporaries.
We're also able to compare this research output to 1 others from the same source and published within six weeks on either side of this one. This one has scored higher than all of them