permutex と permuticial object を定義する。permutex, permuticial は造語だが、simpl-ex, simpl-icial と合わせた。日本語は、置換体と置換体的。対象を {}, {1}, {1, 2} などである圏を考える。射の生成系は写像の集まりで、τni,j と ρn ： For given n∈…