1: \begin{abstract}

2:   In this paper we are interested in the existence of small and big Ramsey degrees of classes of finite

3:   unary algebras in an arbitrary (not necessarily finite) algebraic language $\Omega$. We think of unary algebras

4:   as $M$-sets where $M = \Omega^*$ is the free monoid of words over the alphabet $\Omega$ and show that

5:   for an arbitrary monoid $M$ (finite or infinite) the class of all finite $M$-sets has finite small Ramsey degrees.

6:   This immediately implies that the class of all finite $G$-sets, where $G$ is an arbitrary group (finite or infinite),

7:   has finite small Ramsey degrees, and that the class of all finite unary algebras over an arbitrary

8:   (finite or infinite) algebraic language has finite small Ramsey degrees.

9:   This generalizes some Ramsey-type results of M.\ Soki\'c concerning finite unary algebras over

10:   finite languages and finite $G$-sets for finite groups~$G$. 

11:   To do so we develop a completely new strategy that relies on the fact that right adjoints preserve the Ramsey property.

12:   We then treat $M$-sets as Eilenberg-Moore coalgebras for a functor with comultiplication (``half a comonad'')

13:   and using pre-adjunctions transport the Ramsey properties we are interested in from the category of finite or

14:   countably infinite chains of order type $\omega$. Moreover, we show that finite objects have finite

15:   big Ramsey degrees in the corresponding cofree structures over countably many generators.

16: 

17:   \bigskip

18: 

19:   \noindent \textbf{Key Words:} Ramsey property; Ramsey degrees; Eilenberg-Moore category; comonad; $M$-set; $G$-set;

20:                                 unary algebra;

21: 

22:   \bigskip

23: 

24:   \noindent \textbf{AMS Subj.\ Classification (2020):} 08A60; 18C20

25: \end{abstract}