dagger categories

Dagger Compact Closed Categories and Completely Positive Maps (Extended Abstract)

Dagger compact closed categories were recently introduced by Abramsky and Coecke, under the name "strongly compact closed categories", as an axiomatic framework for quantum mechanics. We present a graphical language for dagger compact closed …