about me teaching publications contact gitlab

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.