Stav dette: Categorical quantum models and logics