The category of algebras over a monad (also: “modules over a monad”) is traditionally called its Eilenberg–Moore category (EM)
In that context
Copyright © 2021 JogjaFile Inc.