Monads of regular theories

DOI10.1007/S10485-013-9331-XzbMath1316.18007arXiv1207.0121OpenAlexW2059686979WikidataQ59404892 ScholiaQ59404892MaRDI QIDQ2350311

Stanisław Szawiel, Marek W. Zawadowski

Publication date: 19 June 2015

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.0121

zbMATH Keywords

operadequational theoryfactorization systempullbackmonadLawvere theory

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (5)

Iterated covariant powerset is not a monad ⋮ Actads ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ Generalized Płonka sums and products ⋮ The monads of classical algebra are seldom weakly Cartesian

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The formal theory of monoidal monads
• Indexed categories and their applications
• On localization and stabilization for factorization systems
• Taut monads and \(T0\)-spaces.
• Coequalizers and free triples
• Categories of continuous functors. I
• LIMIT PRESERVATION PROPERTIES OF THE GREATEST SEMILATTICE IMAGE FUNCTOR
• Implementing collection classes with monads
• A representation theorem for idempotent medial algebras
• Theories of analytic monads

This page was built for publication: Monads of regular theories