@misc{indiciae9f352e603dd1, title = {Graphical Regular Logic}, author = {Brendan Fong and David I Spivak}, year = {2019}, url = {https://arxiv.org/abs/1812.05765}, note = {Source identifier: 1812.05765} }