Monads with arities and their associated theories

Clemens Berger, Paul-André Melliès, Mark Weber

After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the corresponde…