作为范畴的物理操作理论

我们引入一种使用范畴论研究物理操作理论的新方法。我们定义了Chiribella等人的（因果）操作-概率理论的推广，并确立它们与我们新提出的操作范畴概念之间的对应。我们的工作基于effectus理论（一个最近发展的范畴逻辑领域），我们为其赋予操作解释，展示了它与一般概率理论建模的相关性。