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

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

2-圏のCat主表現

圏一般論

局所小な圏Cに対して、Setへの主（あるいは標準）共変表現hom(A, -)、反変表現hom(-, A)がある。同様に、局所小2-圏に対して、Catへの主表現が作れるだろう。この主表現に対して、米田補題の2-バージョンが成立すれば、2-圏を2-構造を保ってCatに埋め込める。

具体的なケースでこの埋め込みを調べると何になるだろう？