Showing 2020Show all
3 papers · 1 filter
quant-ph2020
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…
math.LO2020
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.…
cs.LO2020
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…