命題
A を可換環とする。
（E_1、．．．、E_n）∈ (A-Alg)^n（>>421） に (E_1)※．．．※(E_n)（>>418）∈ A-Alg を対応させ
(A-Alg)^n の射（f_1、．．．、f_n）に (A-Alg)^n の射 f_1※．．．※f_n（>>420）を
対応させることにより関手 (A-Alg)^n → A-Alg が得られる。

証明
自明である。