Գրեք սա: Categorical quantum models and logics