sentences:  Categorical quantum mechanics takes dagger compact categories as a background structure relative to which other quantum mechanical notions like quantum observables and complementarity thereof can be abstractly defined.This forms the basis for a high-level approach to quantum information processing.A dagger compact category is a dagger symmetric monoidal category formula_1 which is also compact closed, together with a relation to tie together the dagger structure to the compact structure.