より一般の指標実例の圏

より一般化して$ B\colon \mathbf{BASE} における指標$ Σ 実例の圏$ (\mathbf{Model}(Σ) \: \mathrm{in} \: B )= [Σ.F,B]_\mathbf{BASE}

where

$ \mathbf{BASE} = \left\lang n\textrm{-}\mathbf{CAT},×,I,[,] \right\rang

を想定

$ \mathbf{Sign}

(小さい)指標圏

$ B \colon \mathbf{BASE}

(BASE)圏

$ Σ \colon \mathbf{Sign}

$ F \colon \mathbf{Sign}→ \mathbf{BASE}

生成系の埋め込み方で対象が決まる

$ [,]\colon \mathbf{BASE}^\mathrm{op}×\mathbf{BASE}→\mathbf{BASE}

$ \mathbf{Model}= [\_.F,B]_\mathbf{BASE}

$ \colon \mathbf{Sign}^\mathrm{op}→\mathbf{BASE}