Sciweavers

34
Voted
ENTCS
2008

Idempotents in Dagger Categories: (Extended Abstract)

13 years 12 months ago
Idempotents in Dagger Categories: (Extended Abstract)
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky and Coecke (under the name "strongly compact ategories") as an abstract presentation of the category of Hilbert spaces and linear maps, and as a framework in which to carry out the interpretation of quantum protocols. I subsequently showed that dagger compact closed categories can also describe mixed quantum computation, where the morphisms are completely positive maps. I introduced the CPM construction as a way to pass from the pure to the mixed setting. One technical detail of the CPM(C) construction is that it does not preserve biproducts. Therefore, to obtain an interpretation of classical types such as bit = I I, one must work in the free biproduct completion CPM(C). In this paper, we show that there is another view of classical types, namely as splittings of self-adjoint idempotents on quantum...
Peter Selinger
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Peter Selinger
Comments (0)