SMS dit: Categorical quantum models and logics