Valued Mosaics
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.10616
curl -X POST /api/v1/records/arxiv/2608.10616/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.10616/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'