এই পাঠটি: Axiomatic description of mixed states from selinger's CPM-construction