Cartesian effect categories are Freyd-categories
type: Item
instance of: scholarly article
title: Cartesian effect categories are Freyd-categories
zbMATH Open document ID: 1229.18005
author: Jean-Guillaume Dumas
author: Dominique Duval
author: Jean-Claude Reynaud
published in: Journal of Symbolic Computation
publication date: 2011-03-14T00:00:00Z
Mathematics Subject Classification ID: 18C50
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 18D99
zbMATH DE Number: 5865428
zbMATH Keywords: categorical logic
zbMATH Keywords: computational effects
zbMATH Keywords: monads
zbMATH Keywords: Freyd-categories
zbMATH Keywords: premonoidal categories
zbMATH Keywords: arrows
zbMATH Keywords: sequential product
zbMATH Keywords: effect categories
zbMATH Keywords: Cartesian effect categories
zbMATH Keywords: categorical semantics
zbMATH Keywords: Haskell's arrows
describes a project that uses: Haskell
MaRDI profile type: Publication
full work available at URL: j.jsc.2010.09.008
OpenAlex ID: W2052395241
cites work: What is a Categorical Model of Arrows?
cites work: Introduction to extensive and distributive categories
cites work: Partiality, cartesian closedness, and toposes
cites work: Arrows, like monads, are monoids
cites work: Generalising monads to arrows
cites work: Combining effects: sum and tensor
cites work: Q5639839
cites work: Q3202991
cites work: Notions of computation and monads
cites work: Q4327833
cites work: A new notation for arrows
cites work: Premonoidal categories and notions of computation
cites work: Q4938649
cites work: Control categories and duality: On the categorical semantics of the lambda-mu calculus
DOI: 10.1016/J.JSC.2010.09.008
description: scientific article; zbMATH DE number 5865428