ストリング図とケリー／マックレーン・グラフ

• String diagrams for traced and compact categories are oriented 1-cobordisms
• David I. Spivak, Patrick Schultz
• http://arxiv.org/pdf/1508.01069v2.pdf
• 52p

P.3の上の絵

右側を90度回転すると、

• A relationship between trees and Kelly-Mac Lane graphs
• Eugenia Cheng
• http://arxiv.org/pdf/math/0304287v1.pdf
• 27p

これのP.14の絵