1: \begin{abstract}

2:   Motivated by recent work on weak distributive laws and their

3:   applications to coalgebraic semantics, we investigate the

4:   algebraic nature of semialgebras for a monad. These are algebras

5:   for the underlying functor of the monad subject to the

6:   associativity axiom alone --- the unit axiom from the definition of

7:   an Eilenberg--Moore algebras is dropped. We prove that if the

8:   underlying category has coproducts, then semialgebras for a monad

9:   $M$ are in fact the Eilenberg--Moore algebras for a suitable monad

10:   structure on the functor $\id+M$, which we call the semifree monad

11:   $\Ms$. We also provide concrete algebraic presentations for

12:   semialgebras for the maybe monad, the semigroup monad and the

13:   finite distribution monad.

14:   

15:   A second contribution is characterizing the weak distributive laws

16:   of the form $MT\Rightarrow TM$ as strong distributive laws $\Ms

17:   T\Rightarrow T\Ms$ subject to an additional condition.

18:   \end{abstract}