λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript I@2 · I.tex · section · 85631fa7

Sharp contexts and transport

Context refinement and the Frauchiger–Renner example › Sharp contexts and transport · lines 2538–2545

Back to manuscript

A sharp context is a finite PVM. Context $D$ refines $C$ through a label map $f$ if

Π_{C, a} = d : f (d) = a \sum Π_{D, d} .

Displayed formulas in this passage

unlabeled · line 2542
$Π_{C, a} = d : f (d) = a \sum Π_{D, d} .$

Nearby in this section