scientific article; zbMATH DE number 1373521
From MaRDI portal
Publication:4704209
zbMath0943.18003MaRDI QIDQ4704209
Publication date: 2 December 1999
Full work available at URL: https://eudml.org/doc/120467
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
Freyd categories are enriched Lawvere theories ⋮ Runners in Action ⋮ Classical control and quantum circuits in enriched category theory ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Lawvere theories enriched over a general base ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Pseudo-distributive laws and axiomatics for variable binding ⋮ Finitary monads on the category of posets ⋮ Generic models for computational effects ⋮ Discrete Lawvere theories and computational effects ⋮ Metric monads ⋮ Combining algebraic effects with continuations ⋮ The Gray tensor product via factorisation ⋮ Enriched Lawvere Theories for Operational Semantics ⋮ Categorification, term rewriting and the Knuth-Bendix procedure ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Structured handling of scoped effects ⋮ Graded algebraic theories ⋮ Notions of Lawvere theory ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ On the concrete representation of discrete enriched abstract clones ⋮ Free-algebra models for the \(\pi \)-calculus ⋮ Semantics for Algebraic Operations ⋮ Tensors of Comodels and Models for Operational Semantics ⋮ Monads and theories ⋮ Towards Effects in Mathematical Operational Semantics ⋮ Combining effects: sum and tensor ⋮ Icons ⋮ Commutants for enriched algebraic theories and monads ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ Unnamed Item ⋮ On the construction of free algebras for equational systems ⋮ Algebraic theories and commutativity in a sheaf topos ⋮ A 2-Categories Companion ⋮ List Objects with Algebraic Structure ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads ⋮ Bifold algebras and commutants for enriched algebraic theories ⋮ Rigidification of algebras over essentially algebraic~theories
This page was built for publication:
