圏または圏類似代数系〈category-like algebraic {system | structure}〉を対象とする圏において、既存の対象（圏または圏類似代数系）にk-射（k = 0, 1, 2, ...）の集合を付け足して拡張できるか？ という問題を考えます。この問題に肯定的に答えられるとき…