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

α:A→B :: Γ→Σ のような記法を使ったが、コロンの個数を逆にして、α:: A→B : Γ→Σ にしよう。2セルに関しては、⇒を使ったり、上に点が付いた→を使う例があるが、コロンの数＝セルの次元にすればわかりやすい。圏Catでいえば、自然変換αは、α::F→G:C→D となる。…