昨日のエントリーで、バーンサイド（Burnside）を形容詞に使ったのだが、既に使用例がある。 バーンサイド環：有限群Gが作用する有限集合の圏（直和と直積を考えて分配圏）の、グロタンディーク環（Grothendieck ring）。Gに対して定義されるので、「Gのバー…

http://d.hatena.ne.jp/m-hiyama-memo/20081030/1225349010 の計算は： [a + [b] ] = [a + b] [a[b] ] = [ab] の２つから全部出る（下付きnは省略した）。1番のaを0、または2番のaを1にすれば、[ [a] ] = [a]。1番のbに b + c を入れれば、[a + [b + c] ] = …

骨格に関して次の用法は確かにある。 圏Cの対象|C|を、同型で割った商集合を骨格と呼ぶ。 射に対しても同型を定義すれば、骨格に圏の構造を与えられそうだ（これは要確認）。ウソです。 同型がイコールであるような圏は骨格的圏と呼ぶ。 部分圏が骨格的なら…

0-同値 集合の元のイコール 1-同値 圏の対象の同型 2-同値 2-圏の対象の同値（例：圏同値） n-同値が定義できそうだが？