A categorical analogue of the monoid semiring construction

DOI10.1017/S0960129512000059zbMath1278.18014arXiv1305.7414OpenAlexW3100884494MaRDI QIDQ4911303

No author found.

Publication date: 14 March 2013

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.7414

zbMATH Keywords

computational interpretationsalgebraic program semanticsaxiomatisation of summationmonoid semiring construction

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (2)

Coherence and strictification for self-similarity ⋮ Classical Structures Based on Unitaries

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The inverse semigroup of a sum-ordered semiring
• A categorical model for the geometry of interaction
• Machine semantics
• Quantum circuit oracles for abstract machine computations
• Tensor product of partially-additive monoids
• Iterated series and the Hellinger-Toeplitz theorem
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Towards a quantum programming language
• On the Equivalence of Certain Notions of Bounded Variation

This page was built for publication: A categorical analogue of the monoid semiring construction