SMS versenden: Categorical quantum models and logics