Generic models for computational effects

DOI10.1016/j.tcs.2006.08.006zbMath1123.18005OpenAlexW2158242393MaRDI QIDQ860841

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.08.006

zbMATH Keywords

canonical modelconical colimit completionenriched Yoneda embeddingFreyd-category

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20) Foundations, relations to logic and deductive systems (18A15)

Related Items

Freyd categories are enriched Lawvere theories ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Commutative Semantics for Probabilistic Programming ⋮ Graded Hoare logic and its categorical semantics ⋮ What is a Categorical Model of Arrows? ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages ⋮ 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
• Notions of computation and monads
• A universal property of the convolution monoidal structure
• Two-dimensional monad theory
• Introduction to extensive and distributive categories
• Modelling environments in call-by-value programming languages.
• Premonoidal categories as categories with algebraic structure
• Algebraic operations and generic effects
• Combining effects: sum and tensor
• Premonoidal categories and notions of computation
• Semantics for Algebraic Operations
• Foundations of Software Science and Computation Structures