Results 1 
2 of
2
Quantum logic in dagger kernel categories
 Order
"... 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 inject ..."
Abstract

Cited by 9 (9 self)
 Add to MetaCart
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/ordertheoretic properties, in terms of kernel fibrations, such as existence of pullbacks, factorisation, orthomodularity, atomicity and completeness. For instance, the Sasaki hook and andthen connectives are obtained, as adjoints, via the existentialpullback adjunction between fibres. 1
Pictures of complete positivity in arbitrary dimension
 In Quantum Programming Languages, Electronic Proceedings in Theoretical Computer Science
, 2011
"... Two fundamental contributions to categorical quantum mechanics are presented. First, we generalize the CPconstruction, that turns any dagger compact category into one with completely positive maps, to arbitrary dimension. Second, we axiomatize when a given category is the result of this constructio ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Two fundamental contributions to categorical quantum mechanics are presented. First, we generalize the CPconstruction, that turns any dagger compact category into one with completely positive maps, to arbitrary dimension. Second, we axiomatize when a given category is the result of this construction. 1