Generic models for computational effects
Foundations, relations to logic and deductive systems (18A15) 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)
The paper contains a development of a theory of Freyd-categories (a subtle generalisation of the notion of a category with finite products) and various examples of applications of Freyd-categories, including those of modelling effects in Moggi's computational lambda-calculus. The analysis of computational effects given by monads is refined here by decomposition of the construction of the Kleisli category for a monad. The setting of Freyd-categories can also be appropriately extended to account for recursion and effects that inherently contain it: partiality, non-determinism, or probablistic non-determinism. This is done through enrichment over a category which is locally countably presentable as a cartesian closed category (this includes the characteristic examples of categories \(\omega {\mathcal C}po\) and \({\mathcal P}oset\)).
- 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
- 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?)
- 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
- Modelling environments in call-by-value programming languages.
- Algebraic operations and generic effects
- Graded Hoare logic and its categorical semantics
- Freyd categories are enriched Lawvere theories
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- Commutative semantics for probabilistic programming
- Parameterised notions of computation
- scientific article; zbMATH DE number 1330443 (Why is no real title available?)
- scientific article; zbMATH DE number 2061718 (Why is no real title available?)
- scientific article; zbMATH DE number 1405668 (Why is no real title available?)
- Axiomatics for data refinement in call by value programming languages
- scientific article; zbMATH DE number 7340320 (Why is no real title available?)
- What is a categorical model of arrows?
- Instances of computational effects: an algebraic perspective
- Foundations of Software Science and Computation Structures
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Promonads and String Diagrams for Effectful Categories
- Cartesian effect categories are Freyd-categories
- From semantics to types: the case of the imperative \(\lambda\)-calculus
- Intersection types for a computational lambda-calculus with global state
- Optics for premonoidal categories
- Probabilistic programming with exact conditions
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)
