2012-06-06 Operational theories and Categorical quantum mechanics math http://jp.arxiv.org/abs/1206.0921