Seminário de Computação e Informação Quântica 

14/07/2006, 16:30 — 17:30 — Sala P3.10, Pavilhão de Matemática
Peter Selinger, Dalhousie University

Idempotents in dagger categories

Dagger compact closed categories were recently introduced by Abramsky and Coecke (under the name "strongly compact closed categories") as an abstract presentation of the category of Hilbert spaces and linear maps. I subsequently showed that completely positive maps could be explained as a purely categorical construction in Abramsky and Coecke's framework, via the so-called CPM construction. In this talk, I will recall the definitions of these categories and their graphical languages, and discuss some useful constructions on them.