@misc{indiciae11c4527fdbb2, title = {String Diagrams for Regular Logic (Extended Abstract)}, author = {Brendan Fong and David Spivak}, year = {2020}, doi = {10.4204/eptcs.323.14}, url = {https://arxiv.org/abs/2009.06836}, note = {Source identifier: 2009.06836} }