Cartesian effect categories are Freyd-categories

DOI10.1016/J.JSC.2010.09.008zbMATH Open1229.18005OpenAlexW2052395241MaRDI QIDQ631572FDOQ631572

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

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

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)

Cites Work

• Combining effects: sum and tensor
• Premonoidal categories and notions of computation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Notions of computation and monads
• Title not available (Why is that?)
• Introduction to extensive and distributive categories
• What is a categorical model of arrows?
• Generalising monads to arrows
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• Arrows, like monads, are monoids
• Partiality, cartesian closedness, and toposes
• Title not available (Why is that?)
• A new notation for arrows

Cited In (4)

• Title not available (Why is that?)
• Promonads and String Diagrams for Effectful Categories
• Logical rules as fractions and logics as sketches
• Deduction as reduction, from a categorical point of view

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)