Environment and classical channels in categorical quantum mechanics (Logical Methods in Computer Science, 2012)