Monads of regular theories
Stanis{\l}aw Szawiel, Marek Zawadowski
TL;DR
This paper characterizes the relationship between monads on Set and Lawvere theories, specifically those equivalent to regular equational theories, providing a categorical understanding of these structures.
Contribution
It offers a characterization of the category of monads on Set that correspond to regular equational theories via Lawvere theories.
Findings
Established an equivalence between certain monads and Lawvere theories.
Provided a categorical framework for regular equational theories.
Clarified the structure of monads related to regular theories.
Abstract
We characterize the category of monads on and the category of Lawvere theories that are equivalent to the category of regular equational theories.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Advanced Topics in Algebra · Algebraic structures and combinatorial models