1: \begin{abstract}

2: We argue that computation is an abstract algebraic concept, and a computer is a result of a morphism (a structure preserving map) from a finite universal semigroup.

3: \end{abstract}

4: