The category of positive unital linear maps between C*-algebras is the Kleisli category of a comonad on the subcategory of unital *-homomorphisms between C*-algebras.
| doi | 10.4204/EPTCS.236.14 |
|---|
The category of positive unital linear maps between C*-algebras is the Kleisli category of a comonad on the subcategory of unital *-homomorphisms between C*-algebras.