194 citations · 1.2k across the 78 of their papers we have counts for
5 papers · 1 filter
Abstract Tensor Systems as Monoidal Categories
Aleks Kissinger
The primary contribution of this paper is to give a formal, categorical treatment to Penrose's abstract tensor notation, in the context of traced symmetric monoidal categories. To…
Completely positive projections and biproducts
Chris Heunen, Aleks Kissinger, Peter Selinger
The recently introduced CP*-construction unites quantum channels and classical systems, subsuming the earlier CPM-construction in categorical quantum mechanics. We compare this con…
Categories of Quantum and Classical Channels
Bob Coecke, Chris Heunen, Aleks Kissinger
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category o…
Compositional Quantum Logic
Bob Coecke, Chris Heunen, Aleks Kissinger
Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of comp…
A Graphical Language for Proof Strategies
Gudmund Grov, Aleks Kissinger, Yuhui Lin
Complex automated proof strategies are often difficult to extract, visualise, modify, and debug. Traditional tactic languages, often based on stack-based goal propagation, make it…