# Free monoids on posets

I've suddenly found myself working with some free monoids $$F(S)$$ in which the set $$S$$ is a poset, and the order extends to an order $$F(S)$$, satisfying if (but not only if) $$s_1, s_2, \ldots, s_r, t_1, t_2, \ldots, t_r\in S$$ and $$s_i \leq t_i$$ for all $$i$$, then $$s_1s_2\cdots s_r \leq t_1t_2\ldots t_r$$ in $$F(S)$$.

Roughly speaking, in my context, the partial order reflects the dependency relationships between the cones in a CW complex. It is entirely possible for the same partial order on the generators to be extended in different ways, depending on the homotopy properties of the space.

It seems like there could easily be a well-developed theory of such objects, and I'd appreciate any pointers to the literature. (A google search turned up nothing.)

• What do you mean by "multiplication respects the partial order"? the order is a priori on $S$, not on $F(S)$. – YCor Apr 21 at 14:11
• Do you mean a quotient of the free monoid? – Sam Hopkins Apr 21 at 14:12
• Are you looking for a left adjoint to the forgetful functor from pomonoids to posets? – Benjamin Steinberg Apr 21 at 14:31
• @YCor Clarified! – Jeff Strom Apr 21 at 14:51
• @SamHopkins I said if and did not mean only if -- clarified now. – Jeff Strom Apr 21 at 15:19