Գրեք սա: Operational theories and Categorical quantum mechanics