1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…