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
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)
