1: \begin{abstract}

2: 	A first-order structure $\fa$ is called \emph{monadically stable} iff every expansion of $\fa$ by unary predicates is stable. In this article we give a classification of the class $\ms$ of $\omega$-categorical monadically stable structures in terms of their automorphism groups. We prove in turn that $\ms$ is smallest class of structures which contains the one-element pure set, closed under isomorphisms, and closed under taking finitely disjoint unions, infinite copies, and finite index first-order reducts. Using our classification we show that every structure in $\ms$ is first-order interdefinable with a finitely bounded homogeneous structure. We also prove that every structure in $\ms$ has finitely many reducts up to interdefinability, thereby confirming Thomas' conjecture for the class $\ms$.

3: \end{abstract}

4: