Abraham Westerbaan

github

Quantum Programs as Kleisli Maps

04 Jan 2015 [ arxiv · preprint ]

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.