arxiv: 2602.23865 · v2 · submitted 2026-02-27 · 🪐 quant-ph · cs.LO· math.CT

Recognition: no theorem link

Supermaps on generalised theories

Matt Wilson , James Hefford , Timoth\'ee Hoffreumon

Authors on Pith no claims yet

Pith reviewed 2026-05-15 19:03 UTC · model grok-4.3

classification 🪐 quant-ph cs.LOmath.CT

keywords supermapsYoneda lemmachannel-state dualityhigher-order operationscategorical quantum mechanicsboxworldgeneralised probabilistic theoriesreal quantum theory

0 comments

The pith

Categorical supermaps are concretely represented by channel-state duality via a Yoneda lemma whenever the theory admits it.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that categorical supermaps, which generalize higher-order quantum operations to arbitrary circuit theories, can be identified with the dual representations provided by channel-state duality. This identification removes the need to guess or choose an ad hoc definition of supermaps for each new theory. A sympathetic reader would care because it supplies a uniform way to define higher-order processes across different physical theories, including boxworld and real quantum theory. The result follows directly from the Yoneda lemma applied to the categorical setting.

Core claim

The central claim is that the Yoneda lemma for categorical supermaps states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality. This eliminates any guesswork or ambiguity when defining the appropriate notion of supermap for these theories. As a concrete application, the recently proposed higher-order processes on boxworld are obtained as a particular instance of categorical supermaps, and a stable definition of higher-order real quantum theory is put forward.

What carries the argument

The Yoneda lemma for categorical supermaps, which supplies a concrete representation of supermaps in terms of the theory's channel-state duality.

If this is right

Categorical supermaps become unambiguously defined for any theory that has channel-state duality.
Higher-order processes on boxworld arise directly as one instance of the general categorical construction.
A stable definition of higher-order operations follows for real quantum theory.
Definitions of supermaps in generalised theories are fixed by the duality structure alone.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same representation could supply canonical supermaps for other generalised probabilistic theories beyond boxworld.
Consistency checks against standard quantum theory would confirm that the construction recovers known higher-order maps.
The lemma might link to other duality-based constructions in categorical quantum mechanics.
Testable extensions include applying the representation to Spekkens' toy model or other toy theories.

Load-bearing premise

The underlying physical theory must possess a suitable notion of channel-state duality that can be used to represent the supermaps.

What would settle it

A concrete counterexample would be any theory possessing channel-state duality in which an independently motivated definition of higher-order maps fails to coincide with the duality-based representation given by the lemma.

read the original abstract

Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality. This lemma eliminates any guesswork or ambiguity when defining the appropriate notion of supermap for these theories. As a concrete application, we show that the recently proposed higher-order processes on boxworld can be obtained as a particular instance of categorical supermaps, and put forward a stable definition of higher-order real quantum theory.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives a Yoneda representation for supermaps once channel-state duality is granted, and applies it cleanly to boxworld, but the exact axioms on that duality stay a bit loose.

read the letter

The main result is a Yoneda lemma that says categorical supermaps on a circuit theory can be represented directly in terms of channel-state duality whenever the theory has a suitable version of it. This is presented as a way to fix definitional ambiguity for higher-order operations outside standard quantum theory. They then use it to recover the higher-order processes recently proposed for boxworld as a direct instance and to put forward a definition for higher-order real quantum theory. That concrete application is the part that actually moves things forward for people working in this area. It turns an abstract construction into something that can be checked against existing proposals without extra guesswork. The soft spot is the qualifier on the duality. The abstract does not isolate the minimal conditions (naturality, monoidal preservation, scope over higher-order objects) in a way that makes it immediate to verify for an arbitrary new theory. If those conditions end up being checked only after the representation is assumed, the lemma becomes less of a shortcut than it first appears. The boxworld case would need an explicit side-by-side check that their duality satisfies exactly the same hypotheses used in the general proof. This is for readers already inside categorical quantum mechanics and quantum foundations who care about generalizing supermaps. The thinking is straightforward category theory applied to physics, with no obvious internal contradictions. It deserves a serious referee so the duality conditions and the boxworld verification can be examined in full.

Referee Report

1 major / 1 minor

Summary. The manuscript establishes the Yoneda lemma for categorical supermaps, asserting that whenever a physical theory possesses a suitable notion of channel-state duality, supermaps on that theory admit a concrete representation in terms of the duality. It applies the lemma to recover the recently proposed higher-order processes on boxworld as an instance of categorical supermaps and proposes a stable definition of higher-order real quantum theory.

Significance. If the central lemma holds, the result supplies a canonical, duality-based construction for supermaps across arbitrary circuit theories, removing ad-hoc choices when extending higher-order operations beyond finite-dimensional quantum theory. The boxworld application and the real-quantum-theory proposal furnish concrete, falsifiable instances that could serve as benchmarks for generalised process theories.

major comments (1)

[Statement of the Yoneda lemma] Statement of the Yoneda lemma (abstract and the general theorem): the minimal axioms required for the 'suitable notion of channel-state duality' (naturality, monoidal preservation, domain of definition on higher-order objects) are not isolated before the representation is derived. Without an explicit list of these conditions, it is unclear whether the lemma is a genuine derivation or partly definitional, which bears directly on the claim that the construction eliminates ambiguity for new theories.

minor comments (1)

[Boxworld application] Boxworld application: an explicit check that the boxworld channel-state duality satisfies precisely the same axioms used in the general proof would confirm that the higher-order processes arise without additional assumptions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting an important point about the clarity of the Yoneda lemma statement. We address the major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: Statement of the Yoneda lemma (abstract and the general theorem): the minimal axioms required for the 'suitable notion of channel-state duality' (naturality, monoidal preservation, domain of definition on higher-order objects) are not isolated before the representation is derived. Without an explicit list of these conditions, it is unclear whether the lemma is a genuine derivation or partly definitional, which bears directly on the claim that the construction eliminates ambiguity for new theories.

Authors: We agree that the presentation would benefit from greater explicitness. The manuscript defines a 'suitable notion of channel-state duality' via the properties of naturality, monoidal preservation, and appropriate domain on higher-order objects, then derives the representation theorem from these. However, these conditions are introduced inline rather than isolated in advance. In the revised version we will add a short, self-contained subsection that lists the minimal axioms on the duality before stating the lemma. This will make clear that the concrete representation is a derived consequence rather than part of the definition, thereby strengthening the claim that the construction removes ambiguity when extending supermaps to new theories. revision: yes

Circularity Check

0 steps flagged

No circularity: Yoneda lemma derived conditionally from category theory under independent duality assumption

full rationale

The paper's central result is a conditional representation theorem (Yoneda lemma for supermaps) that takes as hypothesis the existence of a suitable channel-state duality in the underlying theory and derives the concrete form of supermaps from it. No equations or definitions in the abstract or described structure reduce the output to a fit, a renaming of inputs, or a self-citation chain; the duality is treated as an external premise whose precise axioms are not shown to be verified only after assuming the supermap representation. The boxworld application is presented as an instance check rather than a load-bearing derivation. This satisfies the criteria for a self-contained mathematical result with no circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard category theory plus the domain assumption of channel-state duality; no free parameters or new entities are introduced in the abstract.

axioms (2)

standard math Standard axioms of category theory for the categories of processes and supermaps
Invoked throughout the construction of categorical supermaps.
domain assumption Existence of a suitable channel-state duality in the target theory
Required by the lemma statement for the concrete representation to hold.

pith-pipeline@v0.9.0 · 5403 in / 1257 out tokens · 25036 ms · 2026-05-15T19:03:28.536737+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

73 extracted references · 73 canonical work pages · 6 internal anchors

[1]

A categorical semantics of quantum protocols

Samson Abramsky and Bob Coecke. A categorical semantics of quantum protocols. InProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004, pages 415–425, 2004. DOI: 10.1109/LICS.2004.1319636

work page doi:10.1109/lics.2004.1319636 2004
[2]

No-signalling constrains quan- tum computation with indefinite causal structure.Quantum, 8:1241, February 2024

Luca Apadula, Alessandro Bisio, and Paolo Perinotti. No-signalling constrains quan- tum computation with indefinite causal structure.Quantum, 8:1241, February 2024. ISSN 2521-327X. DOI: 10.22331/q-2024-02-05-1241. URLhttps://doi.org/10. 22331/q-2024-02-05-1241

work page doi:10.22331/q-2024-02-05-1241 2024
[3]

Information processing in generalized probabilistic theories.Phys

Jonathan Barrett. Information processing in generalized probabilistic theories.Phys. Rev. A, 75:032304, Mar 2007. DOI: 10.1103/PhysRevA.75.032304

work page doi:10.1103/physreva.75.032304 2007
[4]

The space of logically consistent classical processes withoutcausalorder.New Journal of Physics, 18(1):013036, 2016

Ämin Baumeler and Stefan Wolf. The space of logically consistent classical processes withoutcausalorder.New Journal of Physics, 18(1):013036, 2016. DOI:10.1088/1367- 2630/18/1/013036

work page doi:10.1088/1367- 2016
[5]

Maximal incompatibility of locally classical behavior and global causal order in multiparty scenarios.Phys

Ämin Baumeler, Adrien Feix, and Stefan Wolf. Maximal incompatibility of locally classical behavior and global causal order in multiparty scenarios.Phys. Rev. A, 90: 042106, 2014. DOI: 10.1103/PhysRevA.90.042106

work page doi:10.1103/physreva.90.042106 2014
[6]

In- definite causal order in boxworld theories, 2024

Jessica Bavaresco, Ämin Baumeler, Yelena Guryanova, and Costantino Budroni. In- definite causal order in boxworld theories, 2024. URLhttps://arxiv.org/abs/ 2411.00951. 28

work page arXiv 2024
[7]

Theoreticalframeworkforhigher-orderquantum theory.Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 475(2225):20180706, 2019

AlessandroBisioandPaoloPerinotti. Theoreticalframeworkforhigher-orderquantum theory.Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 475(2225):20180706, 2019. ISSN 1471-2946. DOI: 10.1098/rspa.2018.0706. URLhttp://dx.doi.org/10.1098/rspa.2018.0706

work page doi:10.1098/rspa.2018.0706 2019
[8]

Cornering optics, 2022

Guillaume Boisseau, Chad Nester, and Mario Román. Cornering optics, 2022. URL https://doi.org/10.48550/ARXIV.2205.00842

work page doi:10.48550/arxiv.2205.00842 2022
[9]

Quantum operations with indefinite time direction

Giulio Chiribella and Zixuan Liu. Quantum operations with indefinite time direction. Communications Physics, 5(1), 7 2022. ISSN 2399-3650. DOI: 10.1038/s42005-022- 00967-3. URLhttp://dx.doi.org/10.1038/s42005-022-00967-3

work page doi:10.1038/s42005-022- 2022
[11]

Transforming quan- tum operations: Quantum supermaps.EPL (Europhysics Letters), 83(3):30004, 2008

Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo Perinotti. Transforming quan- tum operations: Quantum supermaps.EPL (Europhysics Letters), 83(3):30004, 2008. DOI: 10.1209/0295-5075/83/30004

work page doi:10.1209/0295-5075/83/30004 2008
[15]

Quantum computations without definite causal structure.Phys

Giulio Chiribella, Giacomo Mauro D’Ariano, Paolo Perinotti, and Benoît Valiron. Quantum computations without definite causal structure.Phys. Rev. A, 88:022318,

work page
[16]

DOI: 10.1103/PhysRevA.88.022318

work page doi:10.1103/physreva.88.022318
[17]

Normal completely positive maps on the space of quantum operations.Open Systems & Informa- tion Dynamics, 20(01):1350003, 2013

Giulio Chiribella, Alessandro Toigo, and Veronica Umanità. Normal completely positive maps on the space of quantum operations.Open Systems & Informa- tion Dynamics, 20(01):1350003, 2013. DOI: 10.1142/S1230161213500030. URL https://doi.org/10.1142/S1230161213500030

work page doi:10.1142/s1230161213500030 2013
[18]

Positive linear maps on complex matrices.Linear Algebra and its Applications, 10(3):285–290, 1975

Man-Duen Choi. Positive linear maps on complex matrices.Linear Algebra and its Applications, 10(3):285–290, 1975. ISSN00243795. DOI:10.1016/0024-3795(75)90075-

work page doi:10.1016/0024-3795(75)90075- 1975
[19]

URLhttp://dx.doi.org/10.1016/0024-3795(75)90075-0

work page doi:10.1016/0024-3795(75)90075-0
[20]

Profunctor Optics, a Categorical Update.Composition- ality, 6:1, February 2024

BryceClarke, DerekElkins, JeremyGibbons, FoscoLoregian, BartoszMilewski, Emily Pillmore, and Mario Román. Profunctor Optics, a Categorical Update.Composition- ality, 6:1, February 2024. ISSN 2631-4444. DOI: 10.32408/compositionality-6-1

work page doi:10.32408/compositionality-6-1 2024
[21]

Quantum picturalism.Contemporary Physics, 51(1):59–83, 2010

Bob Coecke. Quantum picturalism.Contemporary Physics, 51(1):59–83, 2010. DOI: 10.1080/00107510903257624

work page doi:10.1080/00107510903257624 2010
[22]

Causal categories: Relativistically interacting pro- cesses.Found Phys, 43:458–501, 2013

Bob Coecke and Raymond Lal. Causal categories: Relativistically interacting pro- cesses.Found Phys, 43:458–501, 2013. DOI: 10.1007/s10701-012-9646-8

work page doi:10.1007/s10701-012-9646-8 2013
[23]

Two roads to classicality.EPTCS, 266: 104–118, 2018

Bob Coecke, John Selby, and Sean Tull. Two roads to classicality.EPTCS, 266: 104–118, 2018. DOI: 10.4204/eptcs.266.7

work page doi:10.4204/eptcs.266.7 2018
[24]

Quantum computational networks.Proceedings of the Royal Society of London

David Deutsch. Quantum computational networks.Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences, 425(1868):73–90, 1989. DOI: 10.1098/rspa.1989.0099

work page doi:10.1098/rspa.1989.0099 1989
[25]

The produoidal algebra of process decomposition, 2023

Matt Earnshaw, James Hefford, and Mario Román. The produoidal algebra of process decomposition, 2023. URLhttps://doi.org/10.48550/ARXIV.2301.11867. 29

work page doi:10.48550/arxiv.2301.11867 2023
[26]

Indefinite causal structures for continuous-variable systems.New Journal of Physics, 18(11):113026,

Flaminia Giacomini, Esteban Castro-Ruiz, and Časlav Brukner. Indefinite causal structures for continuous-variable systems.New Journal of Physics, 18(11):113026,

work page
[27]

URLhttps://dx.doi.org/10.1088/ 1367-2630/18/11/113026

DOI: 10.1088/1367-2630/18/11/113026. URLhttps://dx.doi.org/10.1088/ 1367-2630/18/11/113026

work page doi:10.1088/1367-2630/18/11/113026
[28]

Fantastic Quantum Theories and Where to Find Them

Stefano Gogioso. Fantastic quantum theories and where to find them.arXiv Preprint, arXiv:1703.10576, 2017

work page internal anchor Pith review Pith/arXiv arXiv 2017
[29]

Higher-order cpm constructions.EPTCS, 287:145–162, 2019

Stefano Gogioso. Higher-order cpm constructions.EPTCS, 287:145–162, 2019. DOI: 10.4204/EPTCS.287.8

work page doi:10.4204/eptcs.287.8 2019
[30]

Categorical probabilistic theories

Stefano Gogioso and Carlo Maria Scandolo. Categorical probabilistic theories. EPTCS, 266:367–385, 2018. DOI: 10.4204/EPTCS.266.23

work page doi:10.4204/eptcs.266.23 2018
[31]

Density hypercubes, higher order inter- ference and hyper-decoherence: A categorical approach

Stefano Gogioso and Carlo Maria Scandolo. Density hypercubes, higher order inter- ference and hyper-decoherence: A categorical approach. InQuantum Interaction, pages 141–160. Springer International Publishing, 2019. DOI: 10.1007/978-3-030- 35895-2_10

work page doi:10.1007/978-3-030- 2019
[32]

A system of interaction and structure.ACM Transactions on Computational Logic, 8(1), 2007

Alessio Guglielmi. A system of interaction and structure.ACM Transactions on Computational Logic, 8(1), 2007. DOI: 10.1145/1182613.1182614

work page doi:10.1145/1182613.1182614 2007
[33]

Toward a general theory of quantum games

Gus Gutoski and John Watrous. Toward a general theory of quantum games. In Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing, STOC ’07, pages 565–574, New York, NY, USA, 2007. Association for Computing Machinery. ISBN 9781595936318. DOI: 10.1145/1250790.1250873. URLhttps:// doi.org/10.1145/1250790.1250873

work page doi:10.1145/1250790.1250873 2007
[34]

CPM categories for galois extensions

James Hefford and Stefano Gogioso. CPM categories for galois extensions. InPro- ceedings QPL 2021, volume 343, pages 165–192. Open Publishing Association, 2021. DOI: 10.4204/eptcs.343.9

work page doi:10.4204/eptcs.343.9 2021
[35]

Hyper-decoherence in density hypercubes

James Hefford and Stefano Gogioso. Hyper-decoherence in density hypercubes. In Proceedings QPL 2020, volume 340, pages 141–159. Open Publishing Association,

work page 2020
[36]

DOI: 10.4204/eptcs.340.7

work page doi:10.4204/eptcs.340.7
[37]

Optics for premonoidal categories

James Hefford and Mario Román. Optics for premonoidal categories. InProceedings ACT 2023, volume 397, pages 152–171. Open Publishing Association, 2023. DOI: 10.4204/eptcs.397.10. URLhttp://dx.doi.org/10.4204/EPTCS.397.10

work page doi:10.4204/eptcs.397.10 2023
[38]

A Profunctorial Semantics for Quantum Supermaps

James Hefford and Matt Wilson. A Profunctorial Semantics for Quantum Supermaps. InProceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS ’24, New York, NY, USA, 2024. Association for Computing Machinery. DOI: 10.1145/3661814.3662123

work page doi:10.1145/3661814.3662123 2024
[39]

A bv-category of spacetime interventions, 2025

James Hefford and Matt Wilson. A bv-category of spacetime interventions, 2025. URL https://arxiv.org/abs/2502.19022

work page arXiv 2025
[40]

Decoherence to quantum theory from a causally indefinite post-quantum theory.Phys

James Hefford and Matt Wilson. Decoherence to quantum theory from a causally indefinite post-quantum theory.Phys. Rev. A, 113:042433, Apr 2026. DOI: 10.1103/kmmy-3dy3. URLhttps://link.aps.org/doi/10.1103/kmmy-3dy3

work page doi:10.1103/kmmy-3dy3 2026
[41]

Wu, H., Zheng, H., He, Z., and Yu, B

Timothée Hoffreumon and Ognyan Oreshkov. Projective characterization of higher- order quantum transformations, 2022. URLhttps://doi.org/10.48550/arXiv. 2206.06206

work page internal anchor Pith review doi:10.48550/arxiv 2022
[42]

Linear transformations which preserve trace and positive semidefinitenessofoperators.Reports on Mathematical Physics, 3(4):275–278, 121972

Andrej Jamiołkowski. Linear transformations which preserve trace and positive semidefinitenessofoperators.Reports on Mathematical Physics, 3(4):275–278, 121972. ISSN 00344877. DOI: 10.1016/0034-4877(72)90011-0. URLhttp://linkinghub. elsevier.com/retrieve/pii/0034487772900110

work page doi:10.1016/0034-4877(72)90011-0
[43]

On the structure of higher order quantum maps

Anna Jenčová. On the structure of higher order quantum maps. 2024. URLhttps: //arxiv.org/abs/2411.09256. 30

work page internal anchor Pith review Pith/arXiv arXiv 2024
[44]

Traced monoidal categories.Math- ematical Proceedings of the Cambridge Philosophical Society, 119(3):447–468, 1996

André Joyal, Ross Street, and Dominic Verity. Traced monoidal categories.Math- ematical Proceedings of the Cambridge Philosophical Society, 119(3):447–468, 1996. DOI: 10.1017/S0305004100074338

work page doi:10.1017/s0305004100074338 1996
[45]

Acategoricalsemanticsforcausalstructure.Logical Methods in Computer Science, 15, 2019

AleksKissingerandSanderUijlen. Acategoricalsemanticsforcausalstructure.Logical Methods in Computer Science, 15, 2019. ISSN 18605974. DOI: 10.23638/LMCS- 15(3:15)2019

work page doi:10.23638/lmcs- 2019
[46]

Graduate Texts in Mathematics

Saunders Mac Lane.Categories for the Working Mathematician. Graduate Texts in Mathematics. Springer Science+Business Media, New York, NY, 2 edition, Septem- ber 1998. ISBN 978-0-387-98403-2, 978-1-4419-3123-8, 978-1-4757-4721-8. DOI: 10.1007/978-1-4757-4721-8. URLhttps://doi.org/10.1007/978-1-4757-4721-8. eBook package: Springer Book Archive; Copyright Sp...

work page doi:10.1007/978-1-4757-4721-8 1998
[47]

Parity erasure: a foundational principle for indef- inite causal order, 2025

Zixuan Liu and Ognyan Oreshkov. Parity erasure: a foundational principle for indef- inite causal order, 2025. URLhttps://arxiv.org/abs/2512.08635

work page arXiv 2025
[48]

London Mathematical Society Lecture Note Series

Fosco Loregian.(Co)end Calculus. London Mathematical Society Lecture Note Series. Cambridge University Press, 2021. DOI: 10.1017/9781108778657

work page doi:10.1017/9781108778657 2021
[49]

Indefinite causal structure and causal inequalities with time-symmetry, 2024

Luke Mrini and Lucien Hardy. Indefinite causal structure and causal inequalities with time-symmetry, 2024. URLhttps://arxiv.org/abs/2406.18489

work page arXiv 2024
[50]

Quantum correlations with no causal order.Nature Communications, 3(1092), 2012

Ognyan Oreshkov, Fabio Costa, and Časlav Brukner. Quantum correlations with no causal order.Nature Communications, 3(1092), 2012. DOI: 10.1038/ncomms2076

work page doi:10.1038/ncomms2076 2012
[51]

Doubles for monoidal categories.Theory and Applica- tions of Categories, 21(4):61–75, 2008

Craig Pastro and Ross Street. Doubles for monoidal categories.Theory and Applica- tions of Categories, 21(4):61–75, 2008

work page 2008
[52]

Challenges for extensions of the process matrix formalism to quantum field theory, 2023

Nikola Paunkovic and Marko Vojinovic. Challenges for extensions of the process matrix formalism to quantum field theory, 2023. URLhttps://arxiv.org/abs/ 2310.04597

work page arXiv 2023
[53]

Categorical Semantics for Time Travel

Nicola Pinzani, Stefano Gogioso, and Bob Coecke. Categorical semantics for time travel, 2019. URLhttps://arxiv.org/abs/1902.00032

work page internal anchor Pith review Pith/arXiv arXiv 2019
[54]

Sobrino, F

Felix A. Pollock, César Rodríguez-Rosario, Thomas Frauenheim, Mauro Paternos- tro, and Kavan Modi. Non-markovian quantum processes: Complete framework and efficient characterization.Phys. Rev. A, 97:012127, Jan 2018. DOI: 10.1103/Phys- RevA.97.012127. URLhttps://link.aps.org/doi/10.1103/PhysRevA.97.012127

work page doi:10.1103/phys- 2018
[55]

Quantum nonlocality as an axiom.Foundations of Physics, 24(3):379–385, 1994

Sandu Popescu and Daniel Rohrlich. Quantum nonlocality as an axiom.Foundations of Physics, 24(3):379–385, 1994. DOI: 10.1007/BF02058098. URLhttps://doi.org/ 10.1007/BF02058098

work page doi:10.1007/bf02058098 1994
[56]

Categories of Optics

Mitchell Riley. Categories of optics. 2018. DOI: 10.48550/arXiv.1809.00738. URL https://doi.org/10.48550/arXiv.1809.00738

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1809.00738 2018
[57]

Comb diagrams for discrete-time feedback, 2020

Mario Román. Comb diagrams for discrete-time feedback, 2020. URLhttps://doi. org/10.48550/arXiv.2003.06214

work page doi:10.48550/arxiv.2003.06214 2020
[58]

Profunctor optics and traversals, 2020

Mario Román. Profunctor optics and traversals, 2020. URLhttps://doi.org/10. 48550/arXiv.2001.08045

work page arXiv 2020
[59]

Open diagrams via coend calculus

Mario Román. Open diagrams via coend calculus. InProceedings ACT 2020, volume 333, pages 65–78. Open Publishing Association, Feb 2021. DOI: 10.4204/eptcs.333.5

work page doi:10.4204/eptcs.333.5 2020
[60]

PhD thesis, Tallinn University of Technol- ogy, 2023

Mario Román.Monoidal Context Theory. PhD thesis, Tallinn University of Technol- ogy, 2023. URLhttps://doi.org/10.23658/taltech.54/2023

work page doi:10.23658/taltech.54/2023 2023
[61]

Selby, Carlo Maria Scandolo, and Bob Coecke

John H. Selby, Carlo Maria Scandolo, and Bob Coecke. Reconstructing quan- tum theory from diagrammatic postulates.Quantum, 5:445, April 2021. ISSN 2521-327X. DOI: 10.22331/q-2021-04-28-445. URLhttps://doi.org/10.22331/ q-2021-04-28-445. 31

work page doi:10.22331/q-2021-04-28-445 2021
[62]

Idempotents in dagger categories: (extended abstract).Elec- tronic Notes in Theoretical Computer Science, 210:107–122, 2008

Peter Selinger. Idempotents in dagger categories: (extended abstract).Elec- tronic Notes in Theoretical Computer Science, 210:107–122, 2008. DOI: 10.1016/j.entcs.2008.04.021

work page doi:10.1016/j.entcs.2008.04.021 2008
[63]

Achieving maximal causal indefiniteness in a maximally nonlocal theory, 2024

Kuntal Sengupta. Achieving maximal causal indefiniteness in a maximally nonlocal theory, 2024. URLhttps://arxiv.org/abs/2411.04201

work page arXiv 2024
[64]

Higher-Order Causal Theories Are Models of BV-Logic

Will Simmons and Aleks Kissinger. Higher-Order Causal Theories Are Models of BV-Logic. In Stefan Szeider, Robert Ganian, and Alexandra Silva, editors,47th In- ternational Symposium on Mathematical Foundations of Computer Science (MFCS 2022), volume 241 ofLeibniz International Proceedings in Informatics (LIPIcs), pages 80:1–80:14, Dagstuhl, Germany, 2022. ...

work page doi:10.4230/lipics.mfcs.2022.80 2022
[65]

A complete logic for causal consistency, 2024

Will Simmons and Aleks Kissinger. A complete logic for causal consistency, 2024

work page 2024
[66]

Distributors on a tensor category.Hokkaido Mathematical Journal, 35(2):379 – 425, 2006

Daisuke Tambara. Distributors on a tensor category.Hokkaido Mathematical Journal, 35(2):379 – 425, 2006. DOI: 10.14492/hokmj/1285766362

work page doi:10.14492/hokmj/1285766362 2006
[67]

Higher-order quantum operations, 2025

Philip Taranto, Simon Milz, Mio Murao, Marco Túlio Quintino, and Kavan Modi. Higher-order quantum operations, 2025. URLhttps://arxiv.org/abs/2503.09693

work page arXiv 2025
[68]

Device-independent certification of indefinite causal order in the quantum switch.Nature Communications, 14(1):5811, 2023

Tein van der Lugt, Jonathan Barrett, and Giulio Chiribella. Device-independent certification of indefinite causal order in the quantum switch.Nature Communications, 14(1):5811, 2023. DOI: 10.1038/s41467-023-40162-8. URLhttps://doi.org/10. 1038/s41467-023-40162-8

work page doi:10.1038/s41467-023-40162-8 2023
[69]

Abbott, and Cyril Branciard

Julian Wechs, Hippolyte Dourdent, Alastair A. Abbott, and Cyril Branciard. Quan- tum circuits with classical versus quantum control of causal order.PRX Quan- tum, 2:030335, Aug 2021. DOI: 10.1103/PRXQuantum.2.030335. URLhttps: //link.aps.org/doi/10.1103/PRXQuantum.2.030335

work page doi:10.1103/prxquantum.2.030335 2021
[70]

Wilde.Quantum Information Theory

Mark M. Wilde.Quantum Information Theory. Cambridge University Press, 2013

work page 2013
[71]

Wilson.Compositional Frameworks for Supermaps and Causality

M. Wilson.Compositional Frameworks for Supermaps and Causality. Phd thesis, University of Oxford, 2023

work page 2023
[72]

Causality in higher order process theories

Matt Wilson and Giulio Chiribella. Causality in higher order process theories. In Proceedings QPL 2021, volume 343, pages 265–300. Open Publishing Association,

work page 2021
[73]

URLhttp://dx.doi.org/10.4204/EPTCS.343

DOI: 10.4204/eptcs.343.12. URLhttp://dx.doi.org/10.4204/EPTCS.343. 12

work page doi:10.4204/eptcs.343.12
[74]

Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension

Matt Wilson and Giulio Chiribella. Free polycategories for unitary supermaps of arbitrary dimension, 2022. URLhttps://doi.org/10.48550/ARXIV.2207.09180

work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2207.09180 2022
[75]

On the origin of linearity and unitarity in quantum theory, 2023

Matt Wilson and Nick Ormrod. On the origin of linearity and unitarity in quantum theory, 2023. URLhttps://arxiv.org/abs/2305.20063

work page arXiv 2023
[76]

Quantum supermaps are char- acterized by locality, 2022

Matt Wilson, Giulio Chiribella, and Aleks Kissinger. Quantum supermaps are char- acterized by locality, 2022. URLhttps://doi.org/10.48550/ARXIV.2205.09844

work page doi:10.48550/arxiv.2205.09844 2022
[77]

tensoring

Mário Ziman. Process positive-operator-valued measure: A mathematical frame- work for the description of process tomography experiments.Physical Review A, 77(6), 6 2008. DOI: 10.1103/physreva.77.062112. URLhttps://doi.org/10.1103% 2Fphysreva.77.062112. A Categorical Supermaps Satisfy NSWSE Definition 10.A Boxworld instrumentT AA′BB′XX′is non-signalling (N...

work page doi:10.1103/physreva.77.062112 2008