Let $\mathsf{Grp}$ be the category of groups and let $\mathsf{Cyc}$ be the subcategory of cyclic groups.  
As seen in the posts [here][1] and [there][2] (and their answers), a [functor][3] $F: \mathsf{Cyc} \to \mathsf{Cyc}$ is a very structured/restrictive notion, we are then lead to wonder whether there exists such a functor which is non-equivalent to the identity or the trivial functor, or if there is a such functor with $F(C_1) \not \simeq C_1$. As pointed out by [Martin Brandenburg][4] and [Jeremy Rickard][5], $C_1$ is a [retract][6] of $F(C_1)$, so that $F(C_1)$ must be a retract of $F^2(C_1)$, and more generally, $F^n(C_1)$ is a retract of $F^{n+1}(C_1)$, which means that $F^{n+1}(C_1)$ is isomorphic to a semidirect product $F^n(C_1) \ltimes N_n$.

**Question**: What are the functors on the categroy of cyclic groups?

*Remark*: $Aut(-)$ is not such a functor because $Aut(C_8) \simeq C_2 \times C_2$ (and $Aut^2(C_8) \simeq S_3$).

  [1]: https://mathoverflow.net/q/351398/34538
  [2]: https://mathoverflow.net/q/351502/34538
  [3]: https://en.wikipedia.org/wiki/Functor
  [4]: https://mathoverflow.net/users/2841/martin-brandenburg
  [5]: https://mathoverflow.net/users/22989/jeremy-rickard
  [6]: https://ncatlab.org/nlab/show/retract