Gabi-Monads

Paolo Saracco; Sebastian Halbig; Tony Zorman

REVIEW 2 major objections 5 minor 7 references

Gabi-Monads

T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that gabi-monad structures on a monad correspond bijectively to skew-closed structures on its Eilenberg–Moore category for which the forgetful functor is strict closed.

desk verdict A competent extension of gabi-algebra theory to arbitrary skew-closed categories, but the central reconstruction theorem is cited from [BSV24] rather than proved here, so the genuinely new material is the Hopf criterion and the examples. read the letter →

arxiv 2607.27846 v1 pith:EFL5N4N5 submitted 2026-07-30 math.CT math.QA

Sebastian Halbig , Paolo Saracco , Tony Zorman This is my paper · ORCID

classification math.CTmath.QA MSC 18C1518D1518C2018M5016T05

keywords gabi-monadsskew-closedcategoriesEilenberg-MoorecategoryHopfmonadsreconstructioninternalhomgabi-algebrasTannaka-Krein

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper develops a Tannaka–Krein style reconstruction for closed categories, not just monoidal ones. It introduces gabi-monads—monads equipped with a compatibility map s and a unit algebra structure—and proves that these are exactly the structures needed to lift the internal hom functor to the category of algebras. The central bijection says that a gabi-monad structure is the same datum as a skew-closed structure on the Eilenberg–Moore category making the forgetful functor strict closed. From this, the paper characterizes when a gabi-monad is Hopf via invertibility of certain parametric mates, recovering and sharpening known facts about gabi-algebras. A rich family of examples shows that normal gabi-monads need not be Hopf.

What carries the argument

The central object is a gabi-monad: a monad T on a skew-closed category C equipped with a T-algebra structure a_1:T1→1 on the closed unit and a natural transformation s:T[T-,-] → [-,T-] that satisfies the lifting compatibility diagrams (9). This data is precisely what is needed to make the internal hom functor lift to the Eilenberg–Moore category, with the action on hom-objects given by a_M * a_N := [M,a_N] ∘ s_{M,N} ∘ T[a_M,N]. The parametric mates of the associated maps γ^M_X then control whether the lifted closed structure is part of a tensor–hom adjunction, i.e., whether the gabi-monad is actually a left Hopf monad.

What would settle it

Exhibit a monad T on a skew-closed category C and a skew-closed structure on C^T for which the forgetful functor is strict closed but the natural transformation s defined by equation (14) fails one of the diagrams (9). Such a counterexample would directly contradict the bijection in Theorem 3.6.

Watch

Extended reading notes

Core claim

The authors establish that for a monad T on a skew-closed category C, giving T a gabi-monad structure (a T-algebra structure on the unit plus a natural transformation s:T[T-,-] → [-,T-] satisfying compatibility diagrams) is bijectively equivalent to giving the Eilenberg–Moore category C^T a skew-closed structure such that the canonical forgetful functor U^T:C^T→C is strict closed. They then show that T is a left Hopf monad exactly when, for every algebra M, the mate of the map γ^M_X := s_{M,X} ∘ T[a_M, X]: T[M,X] → [M,TX] is invertible; this proves that normal gabi-algebras over a commutative ring are Hopf algebras. They also formulate a dyadic version for *-autonomous categories (where Hopf

Load-bearing premise

The whole reconstruction rests on the lemma (inherited from an earlier paper) that every lift of the internal-hom functor to the Eilenberg–Moore category is encoded by a natural transformation s of the specified form; if some lift could exist outside this form, the claimed bijection would not hold.

Editorial extensions

If this is right

Every left Hopf monad on a closed monoidal category is a normal gabi-monad, so the notion genuinely extends Hopf monad theory.
The converse fails: torsion-free modules over a non-Prüfer integral domain and the transitive-closure reflection on reflexive digraphs give normal gabi-monads that are not Hopf.
In *-autonomous categories, a monad admits a Hopf structure if and only if it admits a normal dyadic gabi-monad structure, so the two notions coincide in that setting.
The ring-theoretic result that every normal gabi-algebra over a commutative ring is a Hopf algebra follows from the monadic characterization with a short, conceptual proof.
The reconstruction theorem gives a new route to detecting when a closed structure on a category of algebras comes from a monad on the base category.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The bijection suggests that 'closed' structure can be reconstructed before monoidal structure; one could test whether analogous lift criteria hold for other 2-categorical structures, e.g., lax monoidal functors between skew-monoidal categories when the unit is not lifted.
The pointed-set quasi-example shows that the unit-algebra condition is essential; a variant that drops this condition might recover many more lifts, a direction the authors flag as future work.
The invertibility criterion for Hopfness could serve as a concrete computational test in algebraic categories: one checks whether explicitly given s maps yield invertible mates, rather than searching for antipodes directly.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper introduces gabi-monads as the monadic analogue of gabi-algebras on skew-closed categories. The genuinely new material is in Section 4 and Section 6: the characterization of Hopf monads via invertibility of parametric mates (Theorem 4.18), the dyadic *-autonomous version (Section 5), and a supply of normal-but-not-Hopf examples, especially torsion-free modules over integral domains and preorders as reflective subcategories. These are well chosen and internally consistent. The examples do real work: the torsion-free case showing that normality does not force Hopf, with a precise Prüfer-domain criterion, is the kind of concrete payoff that makes the framework worth having.

The soft spot is exactly what the stress-test note flags. Theorem 3.6, the backbone of the paper, is explicitly a rephrasing of [BSV24, Theorem 3.4], and Lemma 3.1 — which classifies lifts of the internal hom — is imported from the same source. That means the main bijection rests on a published result from the same research line, not on a proof supplied here. I see no sign of circularity or error: the cited theorem is parameter-free and its assumptions do not include the paper's conclusions. Still, the "easily seen to be inverse" step in Theorem 3.6 is exactly where a subtle failure of bijectivity would hide, and a self-contained proof or a formalized diagram chase would materially reduce the residual risk.

What the paper does well beyond the new examples is the framing. The parametric mate criterion is a clean way to separate Hopf from merely gabi, and the paper is honest about which parts are imported. The prose is careful, and the category theory is standard for the area.

Who is this for? People working on monads, Hopf monads, and reconstruction of closed categories. It deserves a serious referee, not a desk reject. If I were the editor, I would send it out with a request to either expand the proof of Theorem 3.6 or state explicitly which parts are cited and why the cited result applies unchanged. The referee should focus on the imported lemma and the inverse verification.

Referee Report

2 major / 5 minor

Summary. The paper introduces gabi-monads on skew-closed categories, generalizing the gabi-algebras of Berger–Saracco–Vercruysse to a monadic setting. A gabi-monad is a monad T on a skew-closed category C equipped with a T-algebra structure on the unit object and a natural transformation s:T[T-,-] -> [-,T-] satisfying lifting axioms. The central result, Theorem 3.6, states that gabi-monad structures on T are in bijective correspondence with skew-closed structures on the Eilenberg–Moore category C^T for which the forgetful functor U^T is strict closed. The paper then gives a Hopf criterion in terms of invertible parametric mates (Theorem 4.18), a dyadic/star-autonomous version (Theorem 5.8), and a range of examples and non-examples, including torsion-free modules over an integral domain, preorders inside reflexive digraphs, simplicial complexes, and pointed sets as a near-example.

Significance. If correct, the paper provides a monadic Tannaka–Krein reconstruction theorem for skew-closed categories, unifying and extending prior work on Hopf monads and gabi-algebras. The Hopf characterization in Theorem 4.18 is explicit and checkable, and the examples in Section 6 are genuinely informative, showing that normal gabi-monads need not be Hopf and giving a clean Prüfer-domain criterion for the torsion-free example. The paper is careful with coherence conditions and contains substantial diagrammatic work. Its main caveat is that the central bijection is inherited from [BSV24], so the reader must trust that published result or have it reproduced in the monadic skew-closed setting.

major comments (2)

[Theorem 3.6 / Lemma 3.1] The paper's main reconstruction theorem is not proven in full. Lemma 3.1, which classifies all lifts of [-,-] to C^T by natural transformations s satisfying (9), is quoted from [BSV24, Lemma 3.1] without proof. Lemma 3.5 is justified only by 'a direct computation', and in Theorem 3.6 the inverse verification is summarized as 'easily seen to be inverse'. Since Proposition 3.10, Theorem 4.18, and all Section 6 examples depend on this bijection, this is a load-bearing verification gap. I do not claim an error; [BSV24] is published. However, the manuscript should either reproduce the classification and the inverse check in the monadic skew-closed setting, or state the precise theorem from [BSV24] that covers this generality and explain the adaptation. As written, the proof is not self-contained at the central point.
[Corollary 4.19] The reduction of the Hopf criterion to the single plus-minus map beta is stated in one sentence: 'by taking V=k and M=(A,m_A), we conclude'. This uses the fact that the relevant natural transformations are determined by their component at a projective generator in each variable, because the functors involved are additive and preserve coproducts. This is plausible and likely true, but it is not immediate and is load-bearing for recovering the ring-theoretic equivalence between normal gabi-algebras and Hopf algebras. Please expand this step.

minor comments (5)

[Section 1] Typo: 'on may choose' should be 'one may choose'.
[Definition 2.1] The diagrams (1a)-(1e) are not labeled in the text, and some of the arrows in these diagrams are ambiguous. Consider adding explicit labels or a paragraph explaining the notational conventions.
[Example 3.16] The claim that the Eilenberg–Moore category for E={0,1} is the category of rectangular bands is stated without detailed proof. The reference to [Kim58] is helpful, but a short verification of the equivalence would improve readability.
[Remark 6.36] The notation pΣ_{xV,Wy} is introduced abruptly. Since this example is one of the advertised non-Hopf gabi-monads, a few more words about the simplicial-complex closed structure and why the monad is gabi would be useful.
[Section 6.5] In the pointed-sets example, it is worth saying explicitly that the internal-hom lift is functorial but φ0 is not an isomorphism, which is precisely why the maybe monad is not a gabi-monad.

Circularity Check

1 steps flagged · score 4.0 of 10

Main reconstruction theorem is inherited from co-authored [BSV24], making the paper's backbone a load-bearing self-citation; no construction-level circularity found.

self citation load bearing [Section 3.1, Lemma 3.1 and proof of Theorem 3.6]
"The fact that T is a gabi-monad if and only if there exists a skew-closed structure on C^T such that U^T : C^T -> C is strict closed is proven in [BSV24, Theorem 3.4]. We recall the constructions here, for the convenience of the reader."

Theorem 3.6, the paper's main reconstruction result, delegates the entire equivalence to [BSV24, Theorem 3.4], a prior paper co-authored by Saracco. Lemma 3.1, which fixes the form of the lifting map s by asserting a bijective classification of lifts of the internal hom, is also imported from [BSV24, Lemma 3.1], and Lemma 3.5 says its proof is 'essentially a part of [BSV24, Theorem 3.4]'. Thus the central bijective correspondence that defines gabi-monads is not derived independently in this paper; it is inherited from a self-citation. If the cited theorem were unavailable or flawed, Definition 3.3 and Theorem 3.6 would lack independent support in the present text.

full rationale

No internal derivation in the paper reduces to its own conclusion by construction: the gabi-monad axioms are the data of the correspondence, not fitted outputs, and the later Hopf characterization and examples are tested against external facts (e.g. Prüfer domains, BLV11 Hopf monads). The main concern is that the reconstruction Theorem 3.6, and the classification Lemma 3.1 on which it rests, are taken verbatim from [BSV24], whose author overlap with Saracco makes this a load-bearing self-citation. Since [BSV24] is a published, parameter-free prior-work source, this is reliance on external mathematics rather than a purely definitional circle, but the paper's backbone is not self-contained and the inverse verification in Theorem 3.6 is only sketched ('easily seen to be inverse'). This justifies a moderate score rather than a finding of full circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No numerical free parameters or fitted constants appear; the paper is pure category theory. The main imported assumptions are standard closed-category machinery plus two specific prior theorems: the [BSV24] reconstruction result, which overlaps with one author, and the [BLV11] Hopf-monad characterization. The examples depend on well-known results such as Chase's Prüfer-domain theorem and Eilenberg-Kelly's simplicial complexes.

assumptions (7)

standard math The theory of left skew-closed and skew-monoidal categories, including the closed-monoidal correspondence of [Str13] and [UVZ20].
Used throughout Sections 2-4 as background definitions and lemmas.
standard math The Eilenberg-Moore category C^T, monadicity, and the equivalence between idempotent monads and reflective subcategories.
Standard category-theoretic infrastructure invoked in Section 3.2 and Section 6.1.
domain assumption [BSV24, Lemma 3.1 and Theorem 3.4]: lifts of internal homs to Eilenberg-Moore categories are parameterized by the natural transformation s and the strict-closed reconstruction holds.
This is the main imported machinery; the paper says Theorem 3.6 'is proven in [BSV24, Theorem 3.4]' and Lemma 3.5 refers there for the detailed proof.
domain assumption [BLV11, Theorem 3.6] and [Moe02, Theorem 7.1]: a monad T on a closed monoidal category is left Hopf iff C^T is closed monoidal and U^T is strict closed monoidal.
Used as the bridge between gabi-monads and Hopf monads in Theorem 4.18.
domain assumption Kock's theory of closed monads, commutative monads, and equalizer constructions of internal homs in Eilenberg-Moore categories.
Invoked in Remark 3.14 and Example 3.16 to compare gabi-monads with closed monads.
domain assumption Chase's theorem: an integral domain R is Prüfer iff the tensor product of torsion-free R-modules is torsion-free.
Used in Theorem 6.15 and Corollary 6.17 to decide when the torsion-free gabi-monad is Hopf.
domain assumption Eilenberg-Kelly's treatment of simplicial complexes as a cartesian closed category.
Used in Section 6.4 to produce the simplicial-complex example.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Gabi-Monads." pith.science (2026). https://pith.science/paper/EFL5N4N5

@misc{pith2026260727846,
  author       = {Pith},
  title        = {Pith review of: Gabi-Monads},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EFL5N4N5}},
  note         = {Machine review of arXiv:2607.27846}
}

read the original abstract

We study gabi-monads on skew-closed categories, extending the gabi-algebras of Berger, the second author, and Vercruysse beyond the linear case. Our main reconstruction theorem identifies gabi-monad structures on a monad with skew-closed structures on its Eilenberg--Moore category for which the canonical forgetful functor is strict closed. We compare this notion with closed monads in the sense of Kock, showing that in representation-theoretic cases these notions are quite different. On closed monoidal categories, every left Hopf monad is a normal gabi-monad, but the converse fails in general. We characterise when a gabi-monad is Hopf by the invertibility of the corresponding parametric mates, which recovers the ring-theoretic result that normal gabi-algebras over a commutative base ring are Hopf algebras. The theory of gabi-monads admits several natural examples, such as torsion-free modules, reflexive digraphs, and simplicial complexes, that we will explore in detail; we also study pointed sets as a quasi-example.

Figures

Figures reproduced from arXiv: 2607.27846 by the authors.

**Figure 2.** Commutativity of the second diagram of (9) in Proposition 3.10 [PITH_FULL_IMAGE:figures/full_fig_p055_2.png] view at source ↗

**Figure 3.** Commutativity of the leftmost diagram of Equation (10) in Proposition 3.10 [PITH_FULL_IMAGE:figures/full_fig_p056_3.png] view at source ↗

Figures from the paper (4 more)

**Figure 4.** Figure 4: Commutativity of the rightmost diagram of (10) in Proposition 3.10 [PITH_FULL_IMAGE:figures/full_fig_p057_4.png]

**Figure 5.** Figure 5: Commutativity of (11) in Proposition 3.10 [PITH_FULL_IMAGE:figures/full_fig_p058_5.png]

**Figure 6.** Figure 6: The coherence map Γ lifts to the Eilenberg–Moore category of T in Proposition 3.13 [PITH_FULL_IMAGE:figures/full_fig_p059_6.png]

**Figure 7.** Figure 7: If the isomorphism ξ is a morphism of T-algebras in Proposition 5.6, then (37) holds [PITH_FULL_IMAGE:figures/full_fig_p060_7.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 2 canonical work pages

[1]

Monads on higher monoidal categories

[AHLF18] Marcelo Aguiar, Mariana Haim, and Ignacio L´ opez Franco. Monads on higher monoidal categories. English. In:Appl. Categ. Struct.26.3 (2018), pp. 413–458.issn: 0927-2852.doi: 10.1007/s10485-017-9497-8(cit. on p. 19). 51 [ASS06] Ibrahim Assem, Daniel Simson, and Andrzej Skowro´ nski. Elements of the representation theory of associative algebras. Vo...

work page doi:10.1007/s10485-017-9497-8(cit 2018
[5]

Springer-Verlag, New York, 1998 (cit

Graduate Texts in Mathematics. Springer-Verlag, New York, 1998 (cit. on pp. 4, 29). [Moe02] Ieke Moerdijk. Monads on tensor categories. In:J. Pure Appl. Algebra168.2-3 (2002). Category theory 1999 (Coimbra), pp. 189–208.issn: 0022-4049.doi: 10.1016/S0022-4049(01)00096-2 (cit. on pp. 2, 11, 30). [Str13] Ross Street. Skew-closed categories. English. In:J. P...

arXiv 1998
[50]

Encycl. Math. Appl. Cambridge: Cambridge Univ. Press, 1994 (cit. on p. 36). [BSV24] J. Berger, P. Saracco, and J. Vercruysse. Everybody knows what a normal gabi-algebra is. English. In:Adv. Math.451 (2024). Id/No 109797, p. 49.issn: 0001-8708.doi: 10.1016/j. aim.2024.109797(cit. on pp. 2, 3, 8, 10–14, 25, 26, 31, 32). [BV07] Alain Brugui` eres and Alexis ...

arXiv 1994
[51]

Encycl. Math. Appl. Cambridge: Univ. Press, 1994 (cit. on pp. 36, 37). [Bor94b] F. Borceux. Handbook of categorical algebra. Volume 1: Basic category theory. Vol

1994
[65]

Lond. Math. Soc. Stud. Texts. Cambridge: Cambridge University Press, 2006.isbn: 0-521-58631-3; 0-521-58423-X (cit. on p. 44). [Bar79] Michael Barr.˚-autonomous categories. Vol

2006
[752]

With an appendix by Po Hsiang Chu

Lecture Notes in Mathematics. With an appendix by Po Hsiang Chu. Springer, Berlin, 1979, pp. iii+140.isbn: 3-540-09563-2 (cit. on p. 32). [Bar95] Michael Barr. Nonsymmetric ˚-autonomous categories. In:Theoret. Comput. Sci.139.1-2 (1995), pp. 115–130.issn: 0304-3975,1879-2294.doi: 10.1016/0304-3975(94)00089-2.url: https://doi.org/10.1016/0304-3975(94)00089...

work page doi:10.1016/0304-3975(94)00089-2.url: 1979
[2020]

233–256.doi: 10.1016/j

Amsterdam: Elsevier, 2020, pp. 233–256.doi: 10.1016/j. entcs.2020.09.012(cit. on pp. 2, 4, 5). [Wad93] Philip Wadler. Monads for functional programming. In:Program Design Calculi. Ed. by Manfred Broy. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993, pp. 233–264.isbn: 978-3-662-02880-3 (cit. on p. 19). 53 [Wis08] R. Wisbauer. Algebras versus coalgebra...

doi:10.1016/j 2020

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

Monads on higher monoidal categories

[AHLF18] Marcelo Aguiar, Mariana Haim, and Ignacio L´ opez Franco. Monads on higher monoidal categories. English. In:Appl. Categ. Struct.26.3 (2018), pp. 413–458.issn: 0927-2852.doi: 10.1007/s10485-017-9497-8(cit. on p. 19). 51 [ASS06] Ibrahim Assem, Daniel Simson, and Andrzej Skowro´ nski. Elements of the representation theory of associative algebras. Vo...

work page doi:10.1007/s10485-017-9497-8(cit 2018

[2] [5]

Springer-Verlag, New York, 1998 (cit

Graduate Texts in Mathematics. Springer-Verlag, New York, 1998 (cit. on pp. 4, 29). [Moe02] Ieke Moerdijk. Monads on tensor categories. In:J. Pure Appl. Algebra168.2-3 (2002). Category theory 1999 (Coimbra), pp. 189–208.issn: 0022-4049.doi: 10.1016/S0022-4049(01)00096-2 (cit. on pp. 2, 11, 30). [Str13] Ross Street. Skew-closed categories. English. In:J. P...

arXiv 1998

[3] [50]

Encycl. Math. Appl. Cambridge: Cambridge Univ. Press, 1994 (cit. on p. 36). [BSV24] J. Berger, P. Saracco, and J. Vercruysse. Everybody knows what a normal gabi-algebra is. English. In:Adv. Math.451 (2024). Id/No 109797, p. 49.issn: 0001-8708.doi: 10.1016/j. aim.2024.109797(cit. on pp. 2, 3, 8, 10–14, 25, 26, 31, 32). [BV07] Alain Brugui` eres and Alexis ...

arXiv 1994

[4] [51]

Encycl. Math. Appl. Cambridge: Univ. Press, 1994 (cit. on pp. 36, 37). [Bor94b] F. Borceux. Handbook of categorical algebra. Volume 1: Basic category theory. Vol

1994

[5] [65]

Lond. Math. Soc. Stud. Texts. Cambridge: Cambridge University Press, 2006.isbn: 0-521-58631-3; 0-521-58423-X (cit. on p. 44). [Bar79] Michael Barr.˚-autonomous categories. Vol

2006

[6] [752]

With an appendix by Po Hsiang Chu

Lecture Notes in Mathematics. With an appendix by Po Hsiang Chu. Springer, Berlin, 1979, pp. iii+140.isbn: 3-540-09563-2 (cit. on p. 32). [Bar95] Michael Barr. Nonsymmetric ˚-autonomous categories. In:Theoret. Comput. Sci.139.1-2 (1995), pp. 115–130.issn: 0304-3975,1879-2294.doi: 10.1016/0304-3975(94)00089-2.url: https://doi.org/10.1016/0304-3975(94)00089...

work page doi:10.1016/0304-3975(94)00089-2.url: 1979

[7] [2020]

233–256.doi: 10.1016/j

Amsterdam: Elsevier, 2020, pp. 233–256.doi: 10.1016/j. entcs.2020.09.012(cit. on pp. 2, 4, 5). [Wad93] Philip Wadler. Monads for functional programming. In:Program Design Calculi. Ed. by Manfred Broy. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993, pp. 233–264.isbn: 978-3-662-02880-3 (cit. on p. 19). 53 [Wis08] R. Wisbauer. Algebras versus coalgebra...

doi:10.1016/j 2020