REVIEW 1 major objections 6 minor 5 references
Quotients of mosaics and related hyperstructures
T0 review · 1 major / 6 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read Two closure rules describe every quotient of a mosaic
desk verdict Solid extension of [NR25]: the effective-congruence characterization and parabelianity result are real advances, but Theorem 3.9's proof contains a false coequalizer inference and Theorem 4.7 is missing a strictness hypothesis. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is the identification of effective congruences with regular sub(semi)mosaics R ⊆ M×M whose underlying set is a (semi)mosaic equivalence relation. The named object is the quotient hyperoperation a⋆b = q(q^{-1}(a)⋆q^{-1}(b)), the unique hyperoperation making the quotient map short. The 'short' morphism condition—p(x)⋆p(y) = p(p^{-1}(x)⋆p^{-1}(y))—is the bridge between categorical regularity and the elementary two conditions of Theorem 1.5; 'coshort' is its monomorphism dual. For the parabelian result, the unitization construction (adjoining an identity to a hypermagma while forcing a subset to become trivial) computes pushouts along normal maps and is used to show normal
What would settle it
Find an equivalence relation satisfying conditions (i) and (ii) whose set-theoretic quotient with the hyperoperation [a]⋆[b]=q(q^{-1}(a)⋆q^{-1}(b)) fails to be a mosaic, or find an effective congruence failing (i) or (ii); the non-effective relation on Z in Example 3.11, with its four-case hyperoperation, is a concrete test case.
Extended reading notes
Core claim
Theorem 1.5 states that for a mosaic M, isomorphism classes of effective congruences on M biject with equivalence relations ≡ on M satisfying (i) if x ∈ y'⋆e' ∪ e'⋆y' for some y'≡y and e'≡e, then x≡y; and (ii) if x≡y then x^{-1}≡y^{-1}. The quotient is the set-theoretic quotient of M by ≡, with the hyperoperation a⋆b = q(q^{-1}(a)⋆q^{-1}(b)). For semimosaics, condition (ii) is omitted. The proof identifies effective congruences with regular subobjects of M×M whose underlying relations are (semi)mosaic equivalences, relying on the previously established fact that in these categories regular epimorphisms are precisely the short surjections and regular monomorphisms the coshort injections; from
Load-bearing premise
The central claim depends on previous work establishing that the categories of mosaics and semimosaics are regular categories with the expected subobject and quotient descriptions, and on a step in the necessity part of Theorem 3.9 that treats a morphism as the coequalizer of its kernel pair—a step that is not valid for arbitrary morphisms, though the intended conclusion can be reached by a direct argument.
Editorial extensions
If this is right
- Existence of a quotient is decidable from the relation: checking the two conditions of Theorem 1.5 requires only products with identity-class elements and inversion, not the construction of a cokernel.
- Every morphism of (semi)mosaics factors uniquely as a quotient by an effective congruence followed by an injective morphism, giving a complete image factorization.
- Every endomorphism φ of a mosaic induces a quotient under x≡y iff φ^m(x)=φ^n(y) for some m,n≥0, and any automorphism-group action induces a quotient by its orbits.
- For a group G, all quotient mosaics are obtained from pairs (L,≡) where L is a subgroup and ≡ is an inverse-preserving equivalence relation on the non-trivial double-coset quotient G//L; explicit tables for Z/5Z and S₃ include non-associative mosaics.
- The categories Msc and cMsc are parabelian, hence proto-exact with normal monos and normal epis as admissible classes; they are not Barr exact, protomodular, Malcev, or proto-abelian.
Reading between the lines
- The relation test turns quotient classification of finite mosaics into a finite saturation computation, so the small-group tables can be extended to larger groups; automating this could give systematic evidence on the paper's closing question of which total mosaics are regular images of groups.
- Because the two conditions refer only to products with identity-class elements and inversion, the same characterization may transfer to other regular reversible hyperstructure categories, such as hyperrings, whenever the regular-epi-is-short correspondence holds.
- The kernel-plus-punctured-quotient decomposition of Theorem 4.7 suggests a recursive description of quotients: first collapse a normal subobject, then identify the remaining classes arbitrarily; iterating this may generate all quotients without constructing coequalizers.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies quotients in the categories of mosaics and semimosaics. Its main result (Theorem 1.5, proved as Theorem 3.9 and Corollary 3.10) characterizes effective congruences on a (semi)mosaic M as those regular subobjects R⊆M×M whose underlying equivalence relation ≡ satisfies: if y∈x⋆[e]∪[e]⋆x then y≡x, and for mosaics additionally x≡y implies x^{-1}≡y^{-1}; the quotient is the set-theoretic quotient with hyperoperation q(q^{-1}(a)⋆q^{-1}(b)). The characterization is applied to quotients by endomorphisms and automorphism groups, to a decomposition of equivalences into a kernel submosaic plus an equivalence relation on the nonzero cosets, and to explicit quotients of Z/3Z, Z/5Z, and S3, several of which are non-associative. The paper also proves that Msc and cMsc are parabelian (hence proto-exact with normal monos and epis), while failing Barr exactness, protomodularity, Malcev, and proto-abelian properties.
Significance. The main theorem, if correct, gives a complete and elementary description of all quotient objects of mosaics, a class that includes hypergroups and matroids. This goes beyond the previous hypergroup quotient theory and is directly checkable. The paper also provides useful construction tools (endomorphism quotients, coset decomposition) and concrete computations with operation tables. It is a strength that the main characterization is stated as a simple condition on equivalence relations, not on arbitrary congruences. The proofs make heavy use of the published [NR25] infrastructure (regularity, short/coshort equivalence, unitization pushouts); this is legitimate but means several central claims depend on a substantial external apparatus. The parabelian result is a new structural property for mosaics.
major comments (1)
- [Theorem 3.9, necessity direction] The sentence 'by the discussion in 1.1, f is the coequalizer of r1 and r2 in both SMsc and Set' is not a valid consequence. A morphism is the coequalizer of its kernel pair only if it is a regular epimorphism, and an arbitrary morphism f with kernel pair R need not be surjective (hence is not a coequalizer in Set). Since Proposition 3.6 is then invoked with the quotient of R, the printed proof of the central characterization is incomplete. The gap is repairable: let q:M→M/R be the coequalizer of r1 and r2; because R is effective, q is a regular epimorphism and its kernel pair is R, so q is surjective and is the coequalizer in Set, and Proposition 3.6 applies. Equivalently, one can apply f directly to y∈x⋆e' with f(e')=e_N to get f(y)∈f(x)⋆{e_N}={f(x)}, hence f(y)=f(x). Please revise this step.
minor comments (6)
- [After Theorem 1.5] 'Remnark' should be 'Remark'.
- [Corollary 3.17] The terms 'strict epimorphism' and 'strict monomorphism' are used, but 'strict' is defined in Section 4.2 as equality of images of products. For f:F2→F1, whether f is strict depends on the free semimosaic construction in [NR25]; if 'strict' is intended to mean 'normal', this conflicts with the terminology. Please clarify.
- [Theorem 4.7] The statement says 'absorptive subsemimosaic' but the proof requires a strict absorptive subobject for the cokernel M/L to exist; please adjust the statement to 'strict absorptive'.
- [Example 4.10] In case (2), the third quotient set '{[(23),(12)],[(23)],[(123)],[(132)]}' appears to be a typo; it should probably list [(13)] instead of the second [(23)].
- [Example 3.11] The wording 'define a hyperaddition on R:=M×M' and then 'Then R is a congruence on M' is confusing; consider clarifying that R is the universal relation on M equipped with a non-regular subsemimosaic structure.
- [Throughout] Several typos: 'semimisoaic' (Definition 3.4), 'b (3.7)' (Proposition 3.6), 'folloing' (Example 4.9), 'divisble' (Example 4.2), 'the the set-theoretic quotient' (Section 3.2).
Circularity Check
No significant circularity: the central effective-congruence characterization is proved from prior published [NR25] infrastructure, not assumed; the noted Theorem 3.9 inference gap is a correctness issue, not a circular reduction.
full rationale
Walking the derivation chain, I find no step in which Theorem 1.5 / Theorem 3.9 reduces to its own input. The sufficiency direction constructs the kernel-pair equalizer from the regular-sub-(semi)mosaic structure and Proposition 3.6; the necessity direction uses [NR25]'s short/coshort classification to force the regular-substructure form and then applies Proposition 3.6 to conclude the semimosaic/mosaic equivalence conditions. The heavy reliance on [NR25] (regularity of Msc/SMsc, regular epi=short, regular mono=coshort, unitization and pushout computations) is self-citation by two of the present authors, but [NR25] is published prior work whose assumptions do not include the target characterization, and it is not invoked as an unverified uniqueness theorem or an ansatz. Thus it does not make the central claim circular. I also examined the passage in the necessity direction of Theorem 3.9 that says 'by the discussion in 1.1, f is the coequalizer of r1 and r2 in both SMsc and Set'; this is not valid for an arbitrary morphism f with kernel pair R, since a non-surjective f is not a coequalizer in Set. This is a genuine correctness gap in the printed proof, but it is repairable by using the regular-epic quotient of R (or by applying f directly to x⋆e' etc.) and it does not equate the theorem with its assumptions. Accordingly it is not counted as circularity. The score of 2 reflects only the routine, non-load-bearing self-citation infrastructure, not a circular derivation.
Assumptions & free parameters
assumptions (3)
- standard math Standard definitions and results on regular categories, kernel pairs, effective congruences and regular epimorphisms (Borceux; Bourn-Gran).
- domain assumption The categories SMsc, Msc and cMsc are complete, cocomplete and regular; forgetful functors to Set preserve products and pullbacks; regular monos are coshort and regular epis are short ([NR25, Theorem 1.2, Theorem 3.14]).
- domain assumption The cokernel and unitization constructions of [NR25, Lemma 3.10, Theorem 4.1] correctly compute normal epimorphisms and pushouts in SMsc and Msc.
Cite this review
Pith. "Pith review of Quotients of mosaics and related hyperstructures." pith.science (2026). https://pith.science/paper/JQ5KD6G6
@misc{pith2026260721844,
author = {Pith},
title = {Pith review of: Quotients of mosaics and related hyperstructures},
year = {2026},
howpublished = {\url{https://pith.science/paper/JQ5KD6G6}},
note = {Machine review of arXiv:2607.21844}
}
read the original abstract
This is a thorough study of quotients of hyperstructures that generalize hypergroups, namely mosaics and semimosaics. The quotients in these categories generalize those studied previously in the literature on hypergroups. We describe the effective congruences in these categories by characterizing them in terms of their underlying equivalence relation. This characterization is applied to provide new methods of constructing quotient objects modulo the action of endomorphisms, as well as to study explicit quotient mosaics of some small groups. We also show that the category of mosaics has a natural proto-exact structure.
Reference graph
Works this paper leans on
-
[1]
[And09] Yves Andr´ e,Slope filtrations, Confluentes Math.1(2009), no. 1, 1–85. [BB04] Francis Borceux and Dominique Bourn,Mal’cev, protomodular, homological and semi- abelian categories, Mathematics and its Applications, vol. 566, Kluwer Academic Pub- lishers, Dordrecht,
2009
-
[1994]
[Bou91] Dominique Bourn,Normalization equivalence, kernel equivalence and affine categories, Category theory (Como, 1990), 1991, pp
Categories and structures. [Bou91] Dominique Bourn,Normalization equivalence, kernel equivalence and affine categories, Category theory (Como, 1990), 1991, pp. 43–62. [CL03] Piergiulio Corsini and Violeta Leoreanu,Applications of hyperstructure theory, Advances in Mathematics (Dordrecht), vol. 5, Kluwer Academic Publishers, Dordrecht,
1990
-
[2004]
[BG04] Dominique Bourn and Marino Gran,Regular, protomodular, and abelian categories, Categorical foundations, 2004, pp. 165–211. [Bor94a] Francis Borceux,Handbook of Categorical Algebra 1, Encyclopedia of Mathematics and its Applications, vol. 50, Cambridge University Press, Cambridge,
2004
-
[2019]
[Dyc18] Tobias Dyckerhoff,Higher categorical aspects of Hall algebras, Building bridges between algebra and topology, 2018, pp. 1–61. [EJS20] Chris Eppolito, Jaiung Jun, and Matt Szczesny,Proto-exact categories of matroids, Hall algebras, and K-theory, Math. Z.296(2020), no. 1-2, 147–167. [FZ20] Christopher French and Paul-Hermann Zieschang,On residually ...
2018
-
[2025]
[NR25] So Nakamura and Manuel L
arXiv preprint arXiv:2503.05940. [NR25] So Nakamura and Manuel L. Reyes,Categories of hypermagmas, hypergroups, and re- lated hyperstructures, Journal of Algebra676(2025), 408–474. [NR26] So Nakamura and Manuel L. Reyes,Generalized hyperrings with some applications,
arXiv 2025
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.