Discrete Lawvere theories and computational effects (Q860883)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Discrete Lawvere theories and computational effects |
scientific article |
Statements
Discrete Lawvere theories and computational effects (English)
0 references
9 January 2007
0 references
Lawvere theories are a category-theoretic formulation of universal algebra for which the notion of operation is primitive. Countable Lawvere theories allow for the modelling of several computational effects in terms of sums, tensors and distributive tensors. The enrichment of a category allows to extend the type of computational effects that can be modelled. For countable Lawvere theories, sums and tensors extend to the enriched version, but distributive tensors do not. In this paper, the authors modify the notion of enriched Lawvere theory, introducing the discrete Lawvere theory, so that it is possible to incorporate an enriched account of the distributive tensor.
0 references
countable Lawvere V-theory
0 references
discrete Lawvere V-theory
0 references
model
0 references
sum
0 references
tensor
0 references
distributive tensor
0 references
image
0 references
0 references