En topología , una rama de las matemáticas , un monoide topológico es un objeto monoide en la categoría de espacios topológicos . En otras palabras, es un monoide con una topología con respecto a la cual la operación binaria del monoide es continua . Todo grupo topológico es un monoide topológico.