Results 1 
7 of
7
Convexity, duality, and effects
 IFIP Theoretical Computer Science 2010, number 82(1) in IFIP Adv. in Inf. and Comm. Techn
, 2010
"... This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new class of functors that we call ‘convex functors’; they include what are usually called probability distribution functors. T ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new class of functors that we call ‘convex functors’; they include what are usually called probability distribution functors. These relationships take the form of three adjunctions. Two of these three are ‘dual ’ adjunctions for convex sets, one time with the Boolean truth values {0, 1} as dualising object, and one time with the probablity values [0, 1]. The third adjunction is between effect algebras and convex functors. 1
Probabilities, Distribution Monads, and Convex Categories
"... Probabilities are understood abstractly as forming a monoid in the category of effect algebras. They can be added, via a partial operation, and multiplied. This generalises key properties of the unit interval [0, 1]. Such effect monoids can be used to define a probability distribution monad, again g ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Probabilities are understood abstractly as forming a monoid in the category of effect algebras. They can be added, via a partial operation, and multiplied. This generalises key properties of the unit interval [0, 1]. Such effect monoids can be used to define a probability distribution monad, again generalising the situation for [0, 1]probabilities. It will be shown that there are translations backandforth, in the form of an adjunction, between effect monoids and “convex ” monads. This convexity property is formalised, both for monads and for categories. In the end this leads to “triangles of adjunctions ” (in the style of Coumans and Jacobs) relating all the three relevant structures: probabilities, monads, and categories. 1
Orthomodular lattices, Foulis semigroups and dagger kernel categories
 Logical Methods in Comp. Sci., 2009
"... This paper is a sequel to [19] 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 categ ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This paper is a sequel to [19] 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. 1
Operational Theories and Categorical Quantum Mechanics
, 2013
"... A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative ..."
Abstract
 Add to MetaCart
A central theme in current work in quantum information and quantum foundations is to see quantum mechanics as occupying one point in a space of possible theories, and to use this perspective to understand the special features and properties which single it out, and the possibilities for alternative theories. Two formalisms which have been used in this context are operational theories, and categorical quantum mechanics. The aim of the present paper is to establish strong connections between these two formalisms. We show how models of categorical quantum mechanics have representations as operational theories. We then show how nonlocality can be formulated at this level of generality, and study a number of examples from this point of view, including Hilbert spaces, sets and relations, and stochastic maps. The local, quantum, and nosignalling models are characterized in these terms.
ON THE FUNCTOR ℓ 2
"... and both categories are enriched over algebraic domains. The functor preserves daggers, monoidal structures, enrichment, and various (co)limits, but has no adjoints. Up to unitaries, its direct image consists precisely of the partial isometries, but its essential image consists of all continuous lin ..."
Abstract
 Add to MetaCart
and both categories are enriched over algebraic domains. The functor preserves daggers, monoidal structures, enrichment, and various (co)limits, but has no adjoints. Up to unitaries, its direct image consists precisely of the partial isometries, but its essential image consists of all continuous linear maps between Hilbert spaces. 1.
Categorical aspects of polar decomposition
, 2010
"... Polar decomposition unquestionably provides a notion of factorization in the category of Hilbert spaces. But it does not fit existing categorical notions, mainly because its factors are not closed under composition. We observe that the factors are images of functors. This leads us to consider notion ..."
Abstract
 Add to MetaCart
Polar decomposition unquestionably provides a notion of factorization in the category of Hilbert spaces. But it does not fit existing categorical notions, mainly because its factors are not closed under composition. We observe that the factors are images of functors. This leads us to consider notions of factorization that emphasize reconstruction of the composite
Predicate Logic for Functors and Monads
, 2010
"... Abstract. This paper starts from the elementary observation that what is usually called a predicate lifting in coalgebraic modal logic is in fact an endomap of indexed categories. This leads to a systematic review of basic results in predicate logic for functors and monads, involving induction and c ..."
Abstract
 Add to MetaCart
Abstract. This paper starts from the elementary observation that what is usually called a predicate lifting in coalgebraic modal logic is in fact an endomap of indexed categories. This leads to a systematic review of basic results in predicate logic for functors and monads, involving induction and coinduction principles for functors and compositional modal operators for monads. 1