Tensor product of partially-additive monoids (Q1057976)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Tensor product of partially-additive monoids
scientific article

    Statements

    Tensor product of partially-additive monoids (English)
    0 references
    0 references
    1985
    0 references
    Partially-additive monoids (pams) were introduced by Arbib and Manes in order to provide an algebraic semantics for programming languages. In this paper, we prove that the category \({\mathcal P}am\) of pams and additive maps is a closed category whose monoids are partially-additive semirings. We follow the tensor product construction of \textit{R. Guitart} [Cah. Topologie Géom. Différ. 21, 5-62 (1980; Zbl 0477.18007)] for categories of algebras which generalize the case of modules. Nevertheless, the problem here is more difficult owing to the fact that pams are partial algebras rather than algebras. Thus, we have to make some modifications to Guitart's approach.
    0 references
    Partially-additive monoids
    0 references
    algebraic semantics
    0 references
    programming languages
    0 references
    closed category
    0 references
    semirings
    0 references
    tensor product
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references