The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
From MaRDI portal
Publication:2864158
DOI10.1016/j.entcs.2007.02.019zbMath1277.08003OpenAlexW1965620900MaRDI QIDQ2864158
J. M. E. Hyland, A. John Power
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.019
Applications of universal algebra in computer science (08A70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
Nominal lambda calculus: an internal language for FM-Cartesian closed categories ⋮ Coalgebraic Components in a Many-Sorted Microcosm ⋮ Clones with nullary operations. ⋮ Towards a notion of lambda monoid ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Monads, partial evaluations, and rewriting ⋮ Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? ⋮ Unifying Theories of Programming with Monads ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ Metric monads ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ Hopf monads: a survey with new examples and applications ⋮ A general Galois theory for operations and relations in arbitrary categories ⋮ Enriched Lawvere Theories for Operational Semantics ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Monads and distributive laws for Rota-Baxter and differential algebras ⋮ GENERALISATIONS OF LODAY’S ASSEMBLY MAPS FOR LAWVERE’S ALGEBRAIC THEORIES ⋮ Commutativity ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Structured handling of scoped effects ⋮ Unnamed Item ⋮ New perspectives on semi-primal varieties ⋮ Graded algebraic theories ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Monads with arities and their associated theories ⋮ Confluence of Graph Rewriting with Interfaces ⋮ Unnamed Item ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ Nominal Lawvere theories: a category theoretic account of equational theories with names ⋮ Unnamed Item ⋮ Elements of a theory of algebraic theories ⋮ A GENERAL DUALITY THEORY FOR CLONES ⋮ Lawvere Categories as Composed PROPs ⋮ Stateful runners of effectful computations ⋮ High-level signatures and initial semantics ⋮ Bialgebraic foundations for the operational semantics of string diagrams ⋮ Categories with Families: Unityped, Simply Typed, and Dependently Typed ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION ⋮ Classical lambda calculus in modern dress ⋮ String diagram rewrite theory III: Confluence with and without Frobenius
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Principles of programming with complex objects and collection types
- Notions of computation and monads
- Group-like structures in general categories. I. Multiplications and comultiplications
- Generic models for computational effects
- Discrete Lawvere theories and computational effects
- Combining algebraic effects with continuations
- First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
- Stable power domains
- Algebraic operations and generic effects
- Sketches
- Pseudo-commutative monads and pseudo-closed 2-categories
- Lawvere theories enriched over a general base
- Combining effects: sum and tensor
- Adjoint functors and triples
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- The formal theory of monads
- Adjointness in Foundations
- Comprehending monads
- Every Standard Construction is Induced by a Pair of Adjoint Functors
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- Algebra valued functors in general and tensor products in particular
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
