Cartesian effect categories are Freyd-categories

DOI10.1016/J.JSC.2010.09.008MaRDI QIDQ631572zbMATH OpenOpenAlexFDO

Authors Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud

Publication date 14 March 2011

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2010.09.008

zbMATH Keywords

categorical logiccategorical semanticsmonadscomputational effectssequential productarrowsCartesian effect categorieseffect categoriesFreyd-categoriesHaskell's arrowspremonoidal categories

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Categorical structures (18D99) Semantics in the theory of computing (68Q55)

Recommendations

• Generic models for computational effects
• Observationally-induced effects in Cartesian closed categories
• Parameterised notions of computation
• Categorical semantics for arrows
• Freyd categories are enriched Lawvere theories

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 742723 (Why is no real title available?)
• scientific article; zbMATH DE number 1405668 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A new notation for arrows
• Arrows, like monads, are monoids
• Combining effects: sum and tensor
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• Generalising monads to arrows
• Introduction to extensive and distributive categories
• Notions of computation and monads
• Partiality, cartesian closedness, and toposes
• Premonoidal categories and notions of computation
• What is a categorical model of arrows?

Cited in

(4)

• Promonads and String Diagrams for Effectful Categories
• Logical rules as fractions and logics as sketches
• Deduction as reduction, from a categorical point of view
• scientific article; zbMATH DE number 2061718 (Why is no real title available?)

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Cartesian effect categories are Freyd-categories

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