发送短信: Categorical quantum models and logics