Wyślij wiadomość: Categorical quantum models and logics