diagrammatics

The Missing Diagrams in Category Theory

I found this paper on the arXiv a couple of months ago and from time to time I go back to it to try and understand this new diagrammatic language. I think the abstract is quite informative (more so than anything I can say at the moment) so I will show that below: