194 citations · 1.2k across the 78 of their papers we have counts for
1 paper · 2 filters
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…