Valued Mosaics

Abstract

Nakamura--Reyes showed that the category of commutative mosaics---unital reversible hypermagmas, without associativity---is complete, cocomplete, and has free objects, in contrast to commutative polygroups. Krasner's multivalued addition is designed around ultrametric balls; we take that valuation-theoretic motivation as primary and equip mosaics with valuations, as unit-reflecting unitary morphisms into the tropical polygroup $T(\Gamma)$. Value-preserving morphisms form the slice over $T(\Gamma)$, which is complete and cocomplete. The larger lax category of valued mosaics over a fixed ordered abelian group $\Gamma$ is finitely complete and has all small coproducts; it recovers the category of commutative mosaics for the trivial value group, while lax coequalizers for nontrivial $\Gamma$ remain open. Associativity is analysed via factor nesting, which implies it under totality and characterises it among total product-ultrametric mosaics such as the Krasner hyperfield and $T(\Gamma)$, yet is strictly weaker without totality. Among total valued mosaics satisfying factor nesting, the Krasner ball axiom yields associativity and upgrades the weak valuation so that sums are ultrametric balls and the superiorly canonical package follows.