Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories

Simple item page
dc.creatorJacobs, Bart
dc.date2009-05-25
dc.date.accessioned2026-07-07T13:18:08Z
dc.date.available2026-07-07T13:18:08Z
dc.descriptionThis 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.
dc.description31 pages
dc.identifierhttps://arxiv.org/abs/0905.4090
dc.identifierhttp://arxiv.org/abs/0905.4090
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/231337
dc.subjectLogic in Computer Science
dc.subjectF.4.1
dc.titleOrthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
dc.typetext

Files

Collections

arXiv