多ソートメイヤー指標（many-sorted Meyer signature）とは： 状態指標の集合Σ 値指標の集合Φ s∈Σ ごとに、通常のメイヤー指標 (Cσ, Qσ)。クエリーの値はΦから取られる。 s, t∈Σ ごとに T(s, t) という記号の集合。状態のあいだの変換を表す記号。空でもよい…

モノイド関手（monoidal functor）には、厳密（strict）、強（strong）、緩（lax）がある。形容詞がないと、どれを意味するかわからないから、形容詞を付けたほうがいい。

Forvoで調べたら、Lyubashenko はリュバシェンコ。