sentences:  They are a fundamental structure in Samson Abramsky and Bob Coecke's categorical quantum mechanics.Dagger compact categories can be used to express and verify some fundamental quantum information protocols, namely