多ソートメイヤー指標

多ソートメイヤー指標（many-sorted Meyer signature）とは：

1. 状態指標の集合Σ
2. 値指標の集合Φ
3. s∈Σ ごとに、通常のメイヤー指標 (C_σ, Q_σ)。クエリーの値はΦから取られる。
4. s, t∈Σ ごとに T(s, t) という記号の集合。状態のあいだの変換を表す記号。空でもよい。

状態指標の集合Σが単元のときが、通常のメイヤー指標。多ソートでは、T(s, t)を考えるのがミソ。指標の全体は、Σを対象とする記号の圏を構成する。この圏からモデルの圏への関手が意味論。意味論の全体は関手圏となる。