このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

骨格か本質か

骨格に関して次の用法は確かにある。

  1. 圏Cの対象|C|を、同型で割った商集合を骨格と呼ぶ。
  2. 射に対しても同型を定義すれば、骨格に圏の構造を与えられそうだ(これは要確認)ウソです。
  3. 同型がイコールであるような圏は骨格的圏と呼ぶ。
  4. 部分圏が骨格的なら骨格的部分圏と呼ぶ。ベクトル空間の圏で数空間の圏は骨格的部分圏。

1番目の意味を表すのに、「圏の本質」(essence)という言葉を見たことがあるのだが、一般的ではないのかもしれない。骨格を使っておくのが無難か。