Classical–quantum cuts

For instance, allocation of a fixed state ${\omega }_C$ is the channel

A correlated preparation is instead a named linear CPTP map

It is not introduced by writing an arbitrary state-dependent extension ${\rho }_S\mapsto {\rho }_{CS}$.