Pātuhitia tēnei: Categorical quantum models and logics