Cartesian effect categories are Freyd-categories
Résumé
Although categorical composition and finite products can be used for dealing with the substitution of terms, they do not deal with the order of evaluation of arguments, which may have major consequences when there are side-effects. In this paper cartesian effect categories are introduced for solving this issue, and they are compared with strong monads, Freyd-categories and Haskell's Arrows. It is proved that a cartesian effect category is a Freyd-category where the premonoidal structure is provided by a kind of binary product, called the sequential product.
Origine : Fichiers produits par l'(les) auteur(s)