λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript En05-C@1 · En05-C.tex · definition · aa213ea6

Definition: Exterior-fixing intervention

Operational no-signalling and approximate certificates · lines 1624–1630

Back to manuscript

Relative to a protected input algebra $A (I) \subseteq M$ , an exterior-fixing intervention is a UCP map $L : M \to M$ with

L (a) = a (a \in A (I)) .

Displayed formulas in this passage

unlabeled · line 1627
$L (a) = a (a \in A (I)) .$

Nearby in this section