@MartinEscardo@mc but there is a topological monoid structure on [0,1].
One natural way to try to give a monoid structure to [0,oo] is to extend ordinary multiplication of reals. The issue then is that both 0 and oo want to act like zeros of the monoid, but a semigroup can have at most one zero element.