Sequential products in effect categories

Details Sequential products in effect categories Sequential products in effect categories

2007-07-10

arxiv.org/abs/0707.1432v1

Mathematics

Category Theory

Scientific paper

A new categorical framework is provided for dealing with multiple arguments in a programming language with effects, for example in a language with imperative features. Like related frameworks (Monads, Arrows, Freyd categories), we distinguish two kinds of functions. In addition, we also distinguish two kinds of equations. Then, we are able to define a kind of product, that generalizes the usual categorical product. This yields a powerful tool for deriving many results about languages with effects.

Affiliated with

Also associated with

No associations

Rating

Sequential products in effect 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 Sequential products in effect categories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sequential products in effect categories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-453683