scientific article; zbMATH DE number 522862

MaRDI QIDQ4284258zbMATH OpenFDO

Authors Ernest G. Manes

Publication date 7 July 1994

zbMATH Keywords

Boolean monadsequational theoryKleisli category

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Recommendations

• Unions of Equational Monadic Theories
• The formal theory of monoidal monads
• On monadic theories of monadic predicates
• The formal theory of multimonoidal monads
• Equational theories as congruences of enriched monoids
• Equational theories and monads from polynomial Cayley representations
• Equational presentations of functors and monads
• Logical equations in monadic logic
• On the reducibility of monadic equivalence relations
• Monadic EQ-algebras

Cited in

(8)

• Logics for classes of Boolean monoids
• Boolean restriction categories and taut monads
• An equational metalogic for monadic equational systems
• Truthful Monadic Abstractions
• scientific article; zbMATH DE number 1497816 (Why is no real title available?)
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• Just do it
• Equational theories as congruences of enriched monoids

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4284258)