Elements of a theory of algebraic theories

DOI10.1016/j.tcs.2014.03.005zbMath1420.18010arXiv1311.7642OpenAlexW1989039217MaRDI QIDQ2253182

J. M. E. Hyland

Publication date: 25 July 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

algebraic theoriesoperadsKleisli bicategories

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (7)

Towards a notion of lambda monoid ⋮ A unified framework for notions of algebraic theory ⋮ The linear-non-linear substitution 2-monad ⋮ Towards a homotopy domain theory ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ Unnamed Item ⋮ Classical lambda calculus in modern dress

Uses Software

• HOPLA
• New-HOPLA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pseudo-distributive laws
• Notions of computation and monads
• A universal property of the convolution monoidal structure
• Two-dimensional monad theory
• The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
• Operads, Clones, and Distributive Laws
• Monads Need Not Be Endofunctors
• Some reasons for generalising domain theory
• Premonoidal categories and notions of computation
• Introduction to bicategories
• ARE OPERADS ALGEBRAIC THEORIES?
• The cartesian closed bicategory of generalised species of structures
• Profunctors, open maps and bisimulation
• A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics

This page was built for publication: Elements of a theory of algebraic theories