6 citations · 7 across the 3 of their papers we have counts for
4 papers
Encoding !-tensors as !-graphs with neighbourhood orders
David Quick
Diagrammatic reasoning using string diagrams provides an intuitive language for reasoning about morphisms in a symmetric monoidal category. To allow working with infinite families…
A first-order logic for string diagrams
Aleks Kissinger, David Quick
Equational reasoning with string diagrams provides an intuitive means of proving equations between morphisms in a symmetric monoidal category. This can be extended to proofs of inf…
Tensors, !-graphs, and non-commutative quantum structures (extended version)
Aleks Kissinger, David Quick
!-graphs provide a means of reasoning about infinite families of string diagrams and have proven useful in manipulation of (co)algebraic structures like Hopf algebras, Frobenius al…
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-…