6 papers
The three types of normal sequential effect algebras
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the Lüders product on C*-algebras…
A characterisation of ordered abstract probabilities
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
In computer science, especially when dealing with quantum computing or other non-standard models of computation, basic notions in probability theory like "a predicate" vary wildly.…
Preservation of Equations by Monoidal Monads
Louis Parlant, Jurriaan Rot, Alexandra Silva +1
If a monad is monoidal, then operations on a set can be lifted canonically to operations on . In this paper we study structural properties under which preserves equ…
The universal property of infinite direct sums in C-categories and W-categories
Tobias Fritz, Bas Westerbaan
When formulating universal properties for objects in a dagger category, one usually expects a universal property to characterize the universal object up to unique unitary isomorphi…
Pure Maps between Euclidean Jordan Algebras
Abraham Westerbaan, Bas Westerbaan, John van de Wetering
We propose a definition of purity for positive linear maps between Euclidean Jordan Algebras (EJA) that generalizes the notion of purity for quantum systems. We show that this defi…
Dagger and Dilation in the Category of Von Neumann algebras
Bas Westerbaan
This doctoral thesis is a mathematical study of quantum computing, concentrating on two related, but independent topics. First up are dilations, covered in chapter 2. In chapter 3…