Sequential products in effect categories

Simple item page
dc.creatorDumas, Jean-Guillaume
dc.creatorDuval, Dominique
dc.creatorReynaud, Jean-Claude
dc.date2007-07-10
dc.date.accessioned2026-07-07T08:14:51Z
dc.date.available2026-07-07T08:14:51Z
dc.descriptionA 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.
dc.identifierhttps://arxiv.org/abs/0707.1432
dc.identifierhttp://arxiv.org/abs/0707.1432
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/133279
dc.subjectCategory Theory
dc.subjectProgramming Languages
dc.subjectF.3.2; F.3.3
dc.titleSequential products in effect categories
dc.typetext

Files

Collections

arXiv