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

Definition: Tensor-free snapshot

Algebraic interfaces, snapshots, and localization conventions › Channels and state restriction · lines 295–304

The input snapshot in $I$ is

Snap_{I} (ω) = ω \circ ι_{I} .

The output snapshot in $Y$ is

Snap_{Y} (T_{*} ω) = ω \circ T \circ ι_{Y} .

Displayed formulas in this passage