「本質的に有限生成」という概念を考えている。単なる圏Cのときは簡単で： 圏Cに対して、有限部分グラフGがある。 Gから生成された部分圏をDとする。 CとDは圏同値である。 この概念の高次圏版が欲しい。とりあえず、モノイド圏版でもいい。

多角形 ストリング図 代数的意味 一角形 半辺（開いた辺） 定数、単位からの射 ニ角形 辺 自己射 三角形 辺 二項演算 双対的に、余定数、自己射、余二項演算のときもある。図形としては、一角形＝一辺形＝なみだ形、二角形＝二辺形＝紡錘形＝凸レンズ形。図…

知らない： 言葉や記号に意味があると知らない。→ 記号操作ができればいい。 定理と公理の区別を知らない。→ たくさんの公式がフラットにある。 等式や不等式の変形に根拠があると知らない。→ やっていることが正しいかの意識がない。 一番多いのは、「意味…

連想とは、頭のなかのハイパーリンクをたどるようなものだろう。 言葉繋がり 例：名字が「佐藤」の人、「ナントカ祭り」、"colored xxxx" 事物の属性をたどる 例：「の親」、「の所属組織」、「の著者」 事物の構成素、属性の一種かも 例：「の首都」、「のC…