ノードや辺にラベルがない穴（プレイスホルダ）付きツリー（空ツリーは考えないほうが楽）を0個以上並べた列を考える。これはヘッジ。長さがmで穴が（正確にそのまま勘定して）n個あるヘッジの全体をH(n, m)とすると、これは対象類N上の圏となる。さらに、モ…

圏Cと指標Σに対して、ΣからC係数で自由生成した圏C[Σ]がとても使えそうな気がしている。が、現状、おぼろげな定義以外に何もわからない。まず、Σ=(Σ0, Σ1)という集合の組を考える。記号の濫用で、Σ1を単にΣと書き、Σ0のほうは|Σ|と書くことにする。Σ、|Σ|が…

なんか、いろんな立場からいろんな定義があるな。これから定義を収集して、まとめよう。