Discrete Lawvere theories and computational effects

DOI10.1016/j.tcs.2006.07.007zbMath1112.18006OpenAlexW2044178213MaRDI QIDQ860883

J. M. E. Hyland, A. John Power

Publication date: 9 January 2007

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.07.007

zbMATH Keywords

imagetensormodelsumcountable Lawvere V-theorydiscrete Lawvere V-theorydistributive tensor

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical structures (18D99)

Related Items

Enriched Lawvere Theories for Operational Semantics, From semantics to types: the case of the imperative \(\lambda\)-calculus, Quasivarieties and varieties of ordered algebras: regularity and exactness, Graded algebraic theories, Unnamed Item, Backtracking with cut via a distributive law and left-zero monoids, Unguarded recursion on coinductive resumptions, Tensors of Comodels and Models for Operational Semantics, Towards Effects in Mathematical Operational Semantics, Unnamed Item, Gabriel–Ulmer duality and Lawvere theories enriched over a general base, The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads

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
• Retracted: Semantic domains for combining probability and non-determinism
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads
• Notions of computation and monads
• Combining algebraic effects with continuations
• Two-dimensional monad theory
• Varieties of chain-complete algebras
• Stable power domains
• Sketches
• Pseudo-commutative monads and pseudo-closed 2-categories
• Why tricategories?
• Combining effects: sum and tensor
• Monads on symmetric monoidal closed categories
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment
• A Powerdomain Construction
• Foundations of Software Science and Computation Structures
• Algebra and Coalgebra in Computer Science