Sorry to arrive so late to the party. The following may be wrong, because I am working from memory alone. Regarding this: On 2 May 2017, at 15:50, Pawel Sobocinski <sobocinski@gmail.com> wrote:
Sometimes, clearly graphical structures were described in some detail without actually being drawn: e.g. the construction of free compact closed categories in Kelly and Laplazas 1980 "Coherence for compact closed categories”.
Indeed the diagrams which are the core of that paper have been bafflingly excised. However if you take a look at: G. Kelly. Many-variable functorial calculus I. In G. Kelly, M. Laplaza, G. Lewis, and M. L. S., editors, Coherence in Categories, volume 281 of Lecture Notes in Mathematics, pages 66–105. Springer, 1972. DOI : 10.1007/BFb0059556 You’ll find the hand-drawn diagrams still intact. (The volume that this paper appeared in a treasure trove of good stuff, so I was very pleased to discover it is now available electronically — http://link.springer.com/book/10.1007/BFb0059553 ) -r [For admin and other information see: http://www.mta.ca/~cat-dist/ ]