Note on the construction of free monoids
arXiv:0802.1946 · doi:10.1007/s10485-008-9167-y
Abstract
We construct free monoids in a monoidal category with finite limits and countable colimits, in which tensoring on either side preserves reflexive coequalizers and colimits of countable chains.
14 pages; in this version a little more detail given in Section 3