Obj(-)の右随伴関手
Obj(-):Cat→Setを、（小さい）圏の対象集合を取り出す一種の忘却関手とする。バエズに従えば、これは構造を忘れる忘却関手ではなくて、構成素（スタッフ）の一部を捨て去るタイプの忘却関手。
Obj(-)=|-|の随伴は存在してK(-)と書く。Kは、集合Xに、Xを対象集合とする一番簡単な（トリビアルな）亜群を作る関手。完全有向グラフと似ているのでKを使った。実際、Cat(C, K(X)) ≒ Set(|C|, X) となる。
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
Obj(-):Cat→Setを、（小さい）圏の対象集合を取り出す一種の忘却関手とする。バエズに従えば、これは構造を忘れる忘却関手ではなくて、構成素（スタッフ）の一部を捨て去るタイプの忘却関手。
Obj(-)=|-|の随伴は存在してK(-)と書く。Kは、集合Xに、Xを対象集合とする一番簡単な（トリビアルな）亜群を作る関手。完全有向グラフと似ているのでKを使った。実際、Cat(C, K(X)) ≒ Set(|C|, X) となる。