Tensor product of partially-additive monoids

DOI10.1007/BF02575521MaRDI QIDQ1057976zbMATH OpenFDO

Authors Antonio Bahamonde

Publication date 1985

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/134765

zbMATH Keywords

algebraic semanticsclosed categoryPartially-additive monoidsprogramming languagessemiringstensor product

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Review text

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.

Recommendations

• scientific article; zbMATH DE number 3929239
• scientific article; zbMATH DE number 3941416
• scientific article; zbMATH DE number 956837
• scientific article; zbMATH DE number 4101439
• Tensor products of partial algebras

Cites work

• Can programming be liberated from the von Neumann style?
• scientific article; zbMATH DE number 3644513 (Why is no real title available?)
• scientific article; zbMATH DE number 3929239 (Why is no real title available?)
• scientific article; zbMATH DE number 3749236 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• Tensor products of semilattices and distributive lattices
• The inverse semigroup of a sum-ordered semiring
• The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions

Cited in

(7)

• Weighted models for higher-order computation
• scientific article; zbMATH DE number 3929239 (Why is no real title available?)
• scientific article; zbMATH DE number 3941416 (Why is no real title available?)
• ON THE WORD PROBLEM FOR TENSOR PRODUCTS AND AMALGAMS OF MONOIDS
• scientific article; zbMATH DE number 5214 (Why is no real title available?)
• A categorical analogue of the monoid semiring construction
• scientific article; zbMATH DE number 956837 (Why is no real title available?)

This page was built for publication: Tensor product of partially-additive monoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1057976)