1: \begin{abstract}

2: A semi-Peano algebra is an algebra for which each operation is injective, and the images of the operations are pairwise disjoint. The most straightforward non-trivial kind of finitely presented semi-Peano algebra are algebras with a single unary operation. There are two possible directions of generalization: algebras with a single operation of any arity, and algebras with several unary operations. The first can be solved easily by adapting results on equidecomposable groupoids from \cite{cardo2020equidecomposable}. However, the second way is somewhat different. We will show that a finitely presented multi-unary semi-Peano algebra is the free product of cyclic semi-Peano algebras and that a unique relation defines such cyclic algebras. In addition, we will characterize each cyclic algebra up to isomorphism.

3: \end{abstract}