絵を描いていて、今さらにわかったのだが、ペースティング図とスタック図の関係をみると、2セルがホモトピーそのもの。高次圏とホモトピー的存在は、単なる類似ではなくて、本質的に同じナニモノカの側面なのだろう。それと、可換四角や可換三角に、2セルの…

二圏、三圏を扱うため、絵算（pictorial calc.）の練習をすることにした。自然変換α::F⇒G:A→Dを描いてみる。ペースティング図、スタック図（Santiago graphical notation）、ストリング図で描くと、次のようになる。 交替律（interchange law）は、スタック…

"2-"と"bi"を区別しないとき「二」、"3-"と"tri"を区別しないとき「三」を使うことにする。