Construction of all homomorphisms of mono-\(n\)-ary algebras (Q4351245)

For an integer \(n \geq 1\) the category \textbf{ALG}\(n\) consists of all algebras \((A,o)\) with one \(n\)-ary operation \(o\) and the homomorphisms between these algebras (mono-\(n\)-ary algebras). Further, for an integer \(n \geq 2\) the category \textbf{MAP}\(n\) of binding unary \(n\)-algebras has objects of the form \((A^n, \omega)\), where \(A\) is a non-empty set and \(\omega (x_1, \dots , x_n) = (x_2, \dots , x_n, y)\) for any \((x_1, \dots , x_n) \in A^n\) and some \(y \in A\), and the morphisms \(f : (A^n, \omega) \to (A^{'n}, \omega ')\) are induced by the maps \(h : A \to A'\) via \(f(x_1, \dots , x_n) = (h(x_1), \dots h(x_n))\). Associating to each object \((A, o) \in \)\textbf{ALG}\(n\) the object \((A^n,\)\textbf{un}\([o]\;\in \)\textbf{MAP}\(n\) by \textbf{un}\([o](x_1, \dots , x_n) = (x_2, \dots , x_n, o(x_1, \dots , x_n))\) and to each morphism \(h : (A, o) \to (A', o')\) in \textbf{ALG}\(n\) the morphism \(h^n : (A^n,\) \textbf{un}\([o]) \to (A^{'n},\) \textbf{un}\([o'])\) we get the functor \(F :\) \textbf{ALG}\(n\to \) \textbf{MAP}\(n\) for every \(n \geq 2\). The main result presented asserts that \(F\) is a category isomorphism.