Monads of regular theories
arXiv:1207.0121
Abstract
We characterize the category of monads on and the category of Lawvere theories that are equivalent to the category of regular equational theories.
36 pages
arXiv:1207.0121
We characterize the category of monads on and the category of Lawvere theories that are equivalent to the category of regular equational theories.
36 pages