TY - JOUR

T1 - Countable Lawvere Theories and Computational Effects

AU - Power, John

PY - 2006/8/31

Y1 - 2006/8/31

N2 - previous termLawverenext termprevious termtheoriesnext term have been one of the two main category theoretic formulations of universal algebra, the other being monads. Monads have appeared extensively over the past fifteen years in the theoretical computer science literature, specifically in connection with computational effects, but previous termLawverenext termprevious termtheoriesnext term have not. So we define the notion of (previous termcountablenext term) previous termLawverenext termprevious termtheorynext term and give a precise statement of its relationship with the notion of monad on the category Set. We illustrate with examples arising from the study of computational effects, explaining how the notion of previous termLawverenext termprevious termtheorynext term keeps one closer to computational practice. We then describe constructions that one can make with previous termLawverenext termprevious termtheoriesnext term, notably sum, tensor, and distributive tensor, reflecting the ways in which the various computational effects are usually combined, thus giving denotational semantics for the combinations.

AB - previous termLawverenext termprevious termtheoriesnext term have been one of the two main category theoretic formulations of universal algebra, the other being monads. Monads have appeared extensively over the past fifteen years in the theoretical computer science literature, specifically in connection with computational effects, but previous termLawverenext termprevious termtheoriesnext term have not. So we define the notion of (previous termcountablenext term) previous termLawverenext termprevious termtheorynext term and give a precise statement of its relationship with the notion of monad on the category Set. We illustrate with examples arising from the study of computational effects, explaining how the notion of previous termLawverenext termprevious termtheorynext term keeps one closer to computational practice. We then describe constructions that one can make with previous termLawverenext termprevious termtheoriesnext term, notably sum, tensor, and distributive tensor, reflecting the ways in which the various computational effects are usually combined, thus giving denotational semantics for the combinations.

UR - http://dx.doi.org/10.1016/j.entcs.2006.04.025

U2 - 10.1016/j.entcs.2006.04.025

DO - 10.1016/j.entcs.2006.04.025

M3 - Article

VL - 161

SP - 59

EP - 71

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -