What is an algebra over a monad?

516 Views Asked by At

The category of algebras over a monad (also: “modules over a monad”) is traditionally called its Eilenberg–Moore category (EM)

In that context

  1. What exactly does the word "Algebra" mean?
  2. What exactly does the expression "Algebra over..." mean?