文章基本信息

标题：Higher-order CPM Constructions
本地全文：下载
作者：Stefano Gogioso
期刊名称：Electronic Proceedings in Theoretical Computer Science
电子版ISSN：2075-2180
出版年度：2019
卷号：287
页码：145-162
DOI：10.4204/EPTCS.287.8
语种：English
出版社：Open Publishing Association
摘要：We define a higher-order generalisation of the CPM construction based on arbitrary finite abelian group symmetries of symmetric monoidal categories. We show that our new construction is functorial, and that its closure under iteration can be characterised by seeing the construction as an algebra for an appropriate monad. We provide several examples of the construction, connecting to previous work on the CPM construction and on categorical probabilistic theories, as well as upcoming work on higher-order interference and hyper-decoherence.