Generic models for computational effects

DOI10.1016/J.TCS.2006.08.006MaRDI QIDQ860841zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Parameterised notions of computation
• Algebraic operations and generic effects
• Instances of computational effects: an algebraic perspective
• Freyd categories are enriched Lawvere theories
• Models for the computational \(\lambda\)-calculus

Cites work

• scientific article; zbMATH DE number 1705158 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 4108979 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 2061718 (Why is no real title available?)
• scientific article; zbMATH DE number 1373521 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• scientific article; zbMATH DE number 1424060 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A universal property of the convolution monoidal structure
• Algebraic operations and generic effects
• Combining effects: sum and tensor
• Computational effects and operations: an overview
• Countable Lawvere theories and computational effects
• Foundations of Software Science and Computation Structures
• Introduction to extensive and distributive categories
• Modelling environments in call-by-value programming languages.
• Notions of computation and monads
• Premonoidal categories and notions of computation
• Premonoidal categories as categories with algebraic structure
• Semantics for algebraic operations
• Two-dimensional monad theory

Cited in

(18)

• scientific article; zbMATH DE number 1405668 (Why is no real title available?)
• scientific article; zbMATH DE number 2061718 (Why is no real title available?)
• Promonads and String Diagrams for Effectful Categories
• Freyd categories are enriched Lawvere theories
• Foundations of Software Science and Computation Structures
• Graded Hoare logic and its categorical semantics
• Commutative semantics for probabilistic programming
• Modelling environments in call-by-value programming languages.
• Parameterised notions of computation
• Algebraic operations and generic effects
• Instances of computational effects: an algebraic perspective
• 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
• scientific article; zbMATH DE number 7340320 (Why is no real title available?)
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• Cartesian effect categories are Freyd-categories

This page was built for publication: Generic models for computational effects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q860841)