Pictures of complete positivity in arbitrary dimension

Bob Coecke, Chris Heunen
2012 Electronic Proceedings in Theoretical Computer Science  
Two fundamental contributions to categorical quantum mechanics are presented. First, we generalize the CPM-construction, that turns any dagger compact category into one with completely positive maps, to arbitrary dimension. Second, we axiomatize when a given category is the result of this construction.
doi:10.4204/eptcs.95.4 fatcat:7jzrkdhpcve4jjoioirgepigze