2010-06-05 リントは糸くず お絵描き 高次圏論 lintの本来の意味は糸くずか。両端にノードを持たないグラフ辺をリントと言ってもいいかもしれない。2-圏のストリング図ではリントが登場する。アロー図のループは、ストリング図のリント。ループからループへの2セルは、2本のリントが出たノード。