scientific article; zbMATH DE number 522862

zbMATH Open0791.18009MaRDI QIDQ4284258

Ernest G. Manes

Publication date: 7 July 1994

Title of this publication is not available (Why is that?)

zbMATH Keywords

equational theoryKleisli categoryBoolean monads

Mathematics Subject Classification ID

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

Related Items (8)

Logics for classes of Boolean monoids ⋮ Truthful Monadic Abstractions ⋮ Title not available (Why is that?) ⋮ Equational theories as congruences of enriched monoids ⋮ Just do it ⋮ Boolean restriction categories and taut monads ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability ⋮ An equational metalogic for monadic equational systems

Recommendations

• Title not available (Why is that?) 👍 👎
• The formal theory of monoidal monads 👍 👎
• Logical equations in monadic logic 👍 👎
• Equational theories as congruences of enriched monoids 👍 👎
• Equational theories and monads from polynomial Cayley representations 👍 👎
• On the reducibility of monadic equivalence relations 👍 👎
• Equational presentations of functors and monads 👍 👎
• Unions of Equational Monadic Theories 👍 👎
• On Monadic Theories of Monadic Predicates 👍 👎
• The formal theory of multimonoidal monads 👍 👎

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)