Connected monads weakly preserve products
Category Theory
2019-09-06 v1 Logic in Computer Science
Abstract
If is a (not necessarily associative) monad on , then the natural transformation is surjective if and only if . Specializing to , the free algebra functor for a variety , this result generalizes and clarifies an observation by Dent, Kearnes and Szendrei.
Cite
@article{arxiv.1909.02259,
title = {Connected monads weakly preserve products},
author = {H. Peter Gumm},
journal= {arXiv preprint arXiv:1909.02259},
year = {2019}
}