Variations on algebra: Monadicity and generalisations of equational theories
From MaRDI portal
Publication:699931
DOI10.1007/s001650200014zbMath1004.18005OpenAlexW2092614790MaRDI QIDQ699931
Publication date: 25 September 2002
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650200014
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) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (25)
Algebras for Parameterised Monads ⋮ Freyd categories are enriched Lawvere theories ⋮ Equational Theories of Scattered and Countable Series-Parallel Posets ⋮ Lawvere theories enriched over a general base ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ An initial algebra approach to term rewriting systems with variable binders ⋮ Partial Horn logic and Cartesian categories ⋮ A coalgebraic perspective on logical interpretations ⋮ Presentations and algebraic colimits of enriched monads for a subcategory of arities ⋮ Lax naturality through enrichment ⋮ Diagrammatic presentations of enriched monads and varieties for a subcategory of arities ⋮ Structured handling of scoped effects ⋮ Modelling environments in call-by-value programming languages. ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ Algebras, Coalgebras, Monads and Comonads ⋮ Term Equational Systems and Logics ⋮ Combining effects: sum and tensor ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ On the construction of free algebras for equational systems ⋮ Initial Algebra Semantics for Cyclic Sharing Structures ⋮ Gabriel–Ulmer duality and Lawvere theories enriched over a general base ⋮ Solving Algebraic Equations Using Coalgebra ⋮ Algebraic structure for bicategory enriched categories ⋮ Nominal Equational Logic ⋮ Premonoidal categories as categories with algebraic structure
This page was built for publication: Variations on algebra: Monadicity and generalisations of equational theories
