1: \begin{abstract}

2: The \emph{interval monoid}~$\HM{P}$ of a poset~$P$ is defined by generators $[x,y]$, where $x\leq y$ in~$P$, and relations $[x,x]=1$, $[x,z]=[x,y]\cdot[y,z]$ for $x\leq y\leq z$.

3: It embeds into its universal group~$\HG{P}$, the \emph{interval group} of~$P$, which is also the universal group of the homotopy groupoid of the chain complex of~$P$.

4: We prove the following results:

5: 

6: \begin{itemize}

7: \item The monoid~$\HM{P}$ has finite left and right greatest common divisors of pairs (we say that it is a \emph{gcd-monoid}) if{f} every principal ideal (resp., filter) of~$P$ is a \js\ (resp., a \ms).

8: 

9: \item For every group~$G$, there is a connected poset~$P$ of height~$2$ such that~$\HM{P}$ is a gcd-monoid and~$G$ is a free factor of~$\HG{P}$ by a free group.

10: Moreover, $P$ can be taken to be finite if{f}~$G$ is finitely presented.

11: 

12: \item For every finite poset~$P$, the monoid~$\HM{P}$ can be embedded into a free monoid.

13: 

14: \item Some of the results above, and many related ones, can be extended from interval monoids to the universal monoid~$\Um{S}$ of any category~$S$.

15: This enables us, in particular, to characterize the embeddability of~$\Um{S}$ into a group, by stating that it holds at the hom-set level.

16: We thus obtain new easily verified sufficient conditions for embeddability of a monoid into a group.

17: \end{itemize}

18: We illustrate our results by various examples and counterexamples.

19: \end{abstract}

20: