Setting aside relevance to common problem domains, I'd say monoids (as monads) are the most used mathematical abstraction in programming after sets, functions, induction, total orders, and various forms of graphs. That's pretty outstanding, especially given their B-list status in mathematics. There are dozens of explanations of monads on programming blogs and not nearly as many explanations of, say, rings or models or vector spaces.