2008-10-31 骨格か本質か 圏一般論 用語法 骨格に関して次の用法は確かにある。 圏Cの対象|C|を、同型で割った商集合を骨格と呼ぶ。 射に対しても同型を定義すれば、骨格に圏の構造を与えられそうだ(これは要確認)。ウソです。 同型がイコールであるような圏は骨格的圏と呼ぶ。 部分圏が骨格的なら骨格的部分圏と呼ぶ。ベクトル空間の圏で数空間の圏は骨格的部分圏。 1番目の意味を表すのに、「圏の本質」(essence)という言葉を見たことがあるのだが、一般的ではないのかもしれない。骨格を使っておくのが無難か。