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