Αποστολή με SMS: Categorical quantum models and logics