Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
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 orthomodular lattices and Foulis semigroups. The relation between the latter two notions has been uncovered in the 1960s. The cu...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2010-06-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/1083/pdf |
| _version_ | 1797268783216197632 |
|---|---|
| author | Bart Jacobs |
| author_facet | Bart Jacobs |
| author_sort | Bart Jacobs |
| collection | DOAJ |
| description | 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 orthomodular lattices and Foulis semigroups. The relation
between the latter two notions has been uncovered in the 1960s. The current
categorical perspective gives a broader context and reconstructs this
relationship between orthomodular lattices and Foulis semigroups as special
instance. |
| first_indexed | 2024-04-25T01:37:58Z |
| format | Article |
| id | doaj.art-abbccd3f3b9841ebb40b3d0364f7a4c4 |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:37:58Z |
| publishDate | 2010-06-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-abbccd3f3b9841ebb40b3d0364f7a4c42024-03-08T09:11:27ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742010-06-01Volume 6, Issue 210.2168/LMCS-6(2:1)20101083Orthomodular lattices, Foulis Semigroups and Dagger Kernel CategoriesBart JacobsThis 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 orthomodular lattices and Foulis semigroups. The relation between the latter two notions has been uncovered in the 1960s. The current categorical perspective gives a broader context and reconstructs this relationship between orthomodular lattices and Foulis semigroups as special instance.https://lmcs.episciences.org/1083/pdfcomputer science - logic in computer sciencef.4.1 |
| spellingShingle | Bart Jacobs Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories Logical Methods in Computer Science computer science - logic in computer science f.4.1 |
| title | Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories |
| title_full | Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories |
| title_fullStr | Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories |
| title_full_unstemmed | Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories |
| title_short | Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories |
| title_sort | orthomodular lattices foulis semigroups and dagger kernel categories |
| topic | computer science - logic in computer science f.4.1 |
| url | https://lmcs.episciences.org/1083/pdf |
| work_keys_str_mv | AT bartjacobs orthomodularlatticesfoulissemigroupsanddaggerkernelcategories |