Cartesian effect categories are Freyd-categories

Details Cartesian effect categories are Freyd-categories Cartesian effect categories are Freyd-categories

2009-03-19

arxiv.org/abs/0903.3311v3

Computer Science

Logic in Computer Science

23 pages

Scientific paper

Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does 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. The universal property of the sequential product provides Cartesian effect categories with a powerful tool for constructions and proofs. To our knowledge, both effect categories and sequential products are new notions.

Affiliated with

Also associated with

No associations

Rating

Cartesian effect categories are Freyd-categories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Cartesian effect categories are Freyd-categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Cartesian effect categories are Freyd-categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-648516