Generalized Płonka sums and products

DOI10.1007/s10485-013-9364-1zbMath1339.18002arXiv1210.7514WikidataQ59406370 ScholiaQ59406370MaRDI QIDQ2254602

Marek W. Zawadowski

Publication date: 5 February 2015

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

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

zbMATH Keywords

Płonka sum; analytic monad; morphism of monads; semi-analytic monad

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

08A05: Structure theory of algebraic structures

18C10: Theories (e.g., algebraic theories), structure, and semantics

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stone duality for first order logic
• Descent and duality
• Involutorial Płonka sums
• Monads of regular theories
• Monads on symmetric monoidal closed categories
• The formal theory of monads
• Duality and definability in first order logic
• A generalization of Płonka sums
• LIMIT PRESERVATION PROPERTIES OF THE GREATEST SEMILATTICE IMAGE FUNCTOR
• Implementing collection classes with monads
• Scalars, Monads, and Categories
• A representation theorem for idempotent medial algebras
• Theories of analytic monads