generated at
より一般の指標実例の圏
from 指標実例の圏
より一般化して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}
BASEの有限生成実例?
生成系の埋め込み方で対象が決まる
[,]\colon \mathbf{BASE}^\mathrm{op}×\mathbf{BASE}→\mathbf{BASE}
内部hom
\mathbf{Model}= [\_.F,B]_\mathbf{BASE}
\colon \mathbf{Sign}^\mathrm{op}→\mathbf{BASE}