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(Γ)$. Value-preserving morphisms form the slice over $T(Γ)$, which is complete and cocomplete. The larger lax category of valued mosaics over a fixed ordered abelian group $Γ$ 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 $Γ$ 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(Γ)$, 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.

Disclosure

“s. Characterise monomorphisms, epimorphisms, and isometric embeddings in VMscΓ and in cMsc/T(Γ), in the spirit of [7]. Acknowledgements Parts of the preparation of this manuscript were assisted by the AI system Grok 4.5 (xAI), used via the Grok Build CLI, for drafting, editing, and checking mathematical arguments. The author retains full responsibility for the correctness of all results and for the final text.”

PDF page 19

Classification

Proof ideas or individual proof-step assistance

Multiplier

8

Verified

2026-08-23T05:09:12.173814Z

Structural counts