194 citations · 1.2k across the 78 of their papers we have counts for
4 papers · 1 filter
Tensors, !-graphs, and non-commutative quantum structures
Aleks Kissinger, David Quick
Categorical quantum mechanics (CQM) and the theory of quantum groups rely heavily on the use of structures that have both an algebraic and co-algebraic component, making them well-…
Tinker, tailor, solver, proof
Gudmund Grov, Aleks Kissinger, Yuhui Lin
We introduce Tinker, a tool for designing and evaluating proof strategies based on proof-strategy graphs, a formalism previously introduced by the authors. We represent proof strat…
Categories of Quantum and Classical Channels (extended abstract)
Bob Coecke, Chris Heunen, Aleks Kissinger
We introduce the CP*-construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger compact closed category an…
Finite matrices are complete for (dagger-)hypergraph categories
Aleks Kissinger
Hypergraph categories are symmetric monoidal categories where each object is equipped with a special commutative Frobenius algebra (SCFA). Dagger-hypergraph categories are the same…