A diagrammatic calculus for closed categories, akin to proof nets in linear logic and more generally string diagrams for monoidal categories and related categorical structures of “linear” type.
The concept was actually introduced in
They have come to be known as “Kelly–Mac Lane graphs” principally on account of their application to coherence problems for closed categories in the treatment
Reviews include
Dominic Hughes, Simple free star-autonomous categories and full coherence, Journal of Pure and Applied Algebra, Volume 216, Issue 11, 2012, Pages 2386-2410, DOI, arxiv
John Baez, Classical versus quantum lambda-calculus. From lambda-terms to string diagrams, Nov. 2006 (pdf)
Eugenia Cheng, section 1 of A relationship between trees and Kelly–Mac Lane graphs, Math. Proc. Camb. Phil. Soc. (2006), 141, 33 (pdf), arxiv
Last revised on October 13, 2019 at 00:57:49. See the history of this page for a list of all contributions to it.