Sequential products in effect categories
Category Theory
2007-07-11 v1 Programming Languages
Abstract
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.
Keywords
Cite
@article{arxiv.0707.1432,
title = {Sequential products in effect categories},
author = {Jean-Guillaume Dumas and Dominique Duval and Jean-Claude Reynaud},
journal= {arXiv preprint arXiv:0707.1432},
year = {2007}
}