Pith. sign in

REVIEW 5 minor 48 references

The cohomology objects of a semi-abelian variety are small

T0 review · 0 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Pith's one-line read In semi-abelian varieties of algebras, the collection of all n-step cohomology extensions between two objects is small—in bijection with a set of representatives.

desk verdict A clean, correct proof that Yoneda extension collections in semi-abelian varieties are small; worth a serious referee, though the double-extension part is only sketched. read the letter →

arxiv 2411.17200 v2 pith:DRP77HB5 submitted 2024-11-26 math.CT

classification math.CT MSC 03E2503E3018E1318G1518G50
keywords Yonedaextensionsemi-abelianvarietycategorysmallnessofclassessyzygyargumentSchreiercrossedcohomology
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 proves a foundational size statement for cohomology defined by n-step extensions: in any semi-abelian variety of algebras, the collection of all n-step extensions between any two fixed objects is small, meaning it admits a bijection to a set of representative exact sequences. This matters because extension-based cohomology objects are equivalence classes of exact sequences, and nothing in the definition guarantees that these classes form a set rather than a proper conglomerate. The proof handles one-step extensions directly by showing every short exact sequence is a retract of a fixed product shape, then extends to arbitrary length through a syzygy reduction. Variations settle the same smallness question for double extensions, crossed extensions, and Schreier extensions of monoids.

What carries the argument

The carrying mechanism is the operations-and-identities characterisation of semi-abelian varieties (Theorem 4.2): there exists $\ell \ge 1$, binary operations $\alpha_1,\dots,\alpha_\ell$ with $\alpha_i(x,x)=0$, and an $(\ell+1)$-ary operation $\beta$ satisfying $\beta(\alpha_1(x,y),\dots,\alpha_\ell(x,y),y)=x$. These operations make every one-step extension a retract over $Q$ of the trivial product extension $K^\ell \times Q \to Q$, bounding the middle objects by subsets of $K^\ell \times Q$. The Syzygy Theorem (Theorem 5.1) then converts any $n$-step extension into a one-step extension of the syzygy object $\Omega^n(Q)$, so the smallness of one-step extensions propagates to all lengths.

What would settle it

Find a semi-abelian variety $\mathcal{V}$ and objects $K,Q$ in $\mathcal{V}$ for which the collection of isomorphism classes of short exact sequences $0 \to K \to X \to Q \to 0$ is a proper class, so that no set of representatives exists; this would refute Theorem 4.8 and, with it, the main smallness theorem.

Watch

Extended reading notes

Core claim

The central claim, Theorem 5.2, is that in a category with kernels and cokernels, pullback-stable normal epimorphisms and enough normal-projective objects, smallness of $\mathrm{Ext}^1(Q,K)$ for all $Q$ and $K$ forces smallness of $\mathrm{Ext}^n(Q,K)$ for every $n$; because semi-abelian varieties of algebras satisfy these hypotheses, every such variety has small $n$-step extension conglomerates. The one-step case, Theorem 4.8, uses the algebraic characterisation of semi-abelian varieties to embed any middle object $X$ of a short exact sequence $0 \to K \to X \to Q \to 0$ as a subset of $K^\ell \times Q$ over $Q$, allowing representatives to be chosen from a single set of normal monomorphisms. This resolves a foundational gap in the classical extension-based definition of cohomology, where the collection of extensions was often simply assumed to be a set.

Load-bearing premise

The entire argument depends on the characterisation of semi-abelian varieties by operations and identities, which guarantees that every one-step extension is a retract over $Q$ of $K^\ell \times Q$, together with the Axiom of Choice needed to select representatives from the resulting bounded collection.

Editorial extensions

If this is right

  • In every semi-abelian variety, the functors $\mathrm{Ext}^n(-,K)$ from the opposite variety to $\mathbf{Set}$ exist for each $n$, because the extension conglomerates are small.
  • The conglomerate of double extensions $2\text{-}\mathrm{Ext}(Q,K)$ is small, and consequently double central extensions form a small conglomerate without any extra commutator condition, resolving a point left open in earlier work on higher central extensions.
  • In strongly semi-abelian varieties, two-fold crossed extensions between any two objects form a small conglomerate.
  • For monoids, the one-step Schreier extension conglomerate $\mathrm{Ext}^1_S(Q,K)$ is small for all monoids $K$ and $Q$.
  • If a weakly universal Schreier extension exists for every monoid $Q$, then all higher Schreier extension conglomerates are small as well.

Reading between the lines

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

  • The proof of smallness is non-constructive: it invokes the Axiom of Choice to pick representatives of the fibre partition, so the paper does not exhibit an explicit set of extensions; a constructive version would need a choice-free way of selecting representatives.
  • Because smallness is established abstractly, the paper does not identify these sets with familiar invariants; for groups, the natural next step would be to show that the representative set matches the usual group-cohomology computation $\mathrm{Ext}^n(Q,K) \cong H^{n+1}(Q,K)$.
  • The monoid result suggests that the real obstruction to smallness outside semi-abelian varieties is not length but the existence of a uniform product bound for middle objects; any category with such a bound and a weakly universal normal epimorphism should admit the same argument.
  • If the paper's conditional criterion for Schreier extensions holds, it would yield a family of non-semi-abelian examples where higher n-step extension classes are small, extending the main theorem beyond its stated scope.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper proves that in any semi-abelian variety of universal algebras, the conglomerate of all n-step Yoneda extensions between two fixed objects is small, i.e., in bijection with a set. The main argument is in two parts: Theorem 4.8 uses the Bourn–Janelidze characterisation of semi-abelian varieties to show that every one-step extension is represented by a normal monomorphism whose codomain is a subset of K^ℓ×Q, so that Ext^1(Q,K) is small; Theorems 5.1–5.2 then use a syzygy argument, assuming pullback-stable normal epimorphisms and enough normal-projectives, to reduce smallness of Ext^n to smallness of Ext^1. The paper also sketches variations for double and crossed extensions and treats Schreier extensions of monoids.

Significance. The result closes a genuine foundational gap: Yoneda-style cohomology objects in non-additive semi-abelian categories are not automatically known to have underlying sets, and standard homotopical-algebraic tools do not apply directly. The proof of the main theorem is elementary, self-contained, and gives explicit representatives; the Axiom of Choice is invoked transparently in the syzygy reduction. If accepted, the paper justifies the use of Yoneda Ext in semi-abelian varieties and provides a template for handling similar size questions elsewhere. The variations in Sections 6–7 are clearly marked as sketches or conditional results and do not affect the main theorem.

minor comments (5)
  1. [§4, Corollary 4.6] The statement that a one-step extension is "a retract over Q of the short exact sequence 0→K^ℓ→K^ℓ×Q→Q→0" is stronger than what the proof establishes: the proof gives pointed-set maps φ and ψ with φψ=1_X, π_Q ψ=q and qφ=π_Q, i.e., a retraction of the middle object X onto a subset of K^ℓ×Q over Q, but it does not construct maps between the kernel objects K and K^ℓ making the diagram of sequences commute. Since the kernel objects differ, the sequence-level reading cannot be literally true; the corollary should be rephrased as an object-level retraction, which is all that Theorem 4.8 uses.
  2. [§6, Theorem 6.1] The smallness of double extensions is announced as a theorem but supported only by a proof sketch that relies on external material on regular pushouts and double syzygies; because this result is not used in the main theorem, this is acceptable, but the paper should make explicit at that point that a full proof is not included here.
  3. [§7, final paragraph] The last paragraph correctly states that the smallness of Ext^n_S(Q,K) for n≥2 is conditional on the existence of a weakly universal Schreier extension for each monoid Q; it might help the reader if this conditional status were also recorded in the abstract or introduction.
  4. [Figure 1 caption] The caption contains a typo: "Spicing" should be "Splicing".
  5. [Throughout] There are a few missing spaces and inconsistent hyphenation (e.g., "semiabelian" vs. "semi-abelian", "normal epimorphismq1"); these should be corrected in the final copy.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the smallness proof for n-step extensions in semi-abelian varieties is self-contained and does not reduce to its own assumptions.

full rationale

The central derivation chain is not circular. Theorem 4.8 proves smallness of Ext^1(Q,K) using the Bourn–Janelidze characterization of semi-abelian varieties (an external theorem, quoted as Theorem 4.2) and an explicit retract construction proved in Corollary 4.6; the set NM(Q,K,ℓ) is built from subsets and algebra structures, not from the extensions being measured. Corollary 4.6 is proved in the text, so citing [35] for a strengthening is not load-bearing. Theorem 5.2 then reduces n-step extensions to (n−1)-step extensions by the standard syzygy argument: Theorem 5.1 constructs an actual surjection Ext^n(ΩQ,K) ↠ Ext^{n+1}(Q,K), so smallness of the domain genuinely implies smallness of the codomain; the target smallness is not assumed. The proof uses the Axiom of Choice to choose representatives, which is a legitimate set-theoretic step rather than a circular one. Self-citations such as [35] and [41] are either accompanied by proofs in the text or concern peripheral variations; even the under-supported parts (Theorem 6.1 is explicitly a proof sketch, and the Schreier case is conditional on an open question) do not support the paper's central claim. No fitted parameters, renamed predictions, or uniqueness claims imported from the authors are present. Hence the paper is self-contained against the only benchmark that matters for circularity: the main theorem is derived, not assumed.

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

No numerical parameters are fitted to data and no new mathematical entities are postulated. All assumptions are foundational set theory or standard theorems in categorical algebra; the proof itself is the contribution.

assumptions (4)
  • standard math ZFC with a chosen Grothendieck universe U, including the Axiom of Choice.
    Section 2 establishes the foundation: conglomerates, U-sets, classes, and smallness as bijection to a U-set. The proofs use Choice for well-ordering and choosing representatives.
  • standard math Bourn and Janelidze's theorem characterizing semi-abelian varieties by a constant, binary operations α_i and an operation β satisfying β(α_1(x,y), ..., α_ℓ(x,y), y)=x.
    Theorem 4.2 is cited from [8] and is the basis for the retract argument in Corollary 4.6 and hence for the one-step size bound.
  • domain assumption Semi-abelian varieties have enough normal-projectives and pullback-stable normal epimorphisms.
    Used in Section 5 to build syzygies and to lift longer exact sequences to exact sequences ending at ΩQ; free algebras provide projectivity and Barr exactness plus protomodularity provide normality and pullback stability.
  • standard math The standard categorical framework of kernels, cokernels, normal monomorphisms, normal epimorphisms and exact sequences as recalled in Section 3.
    All extension categories Ext^n(Q,K) are defined relative to these notions; no alternative definition of extension is used.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The cohomology objects of a semi-abelian variety are small." pith.science (2026). https://pith.science/paper/DRP77HB5

@misc{pith2026241117200,
  author       = {Pith},
  title        = {Pith review of: The cohomology objects of a semi-abelian variety are small},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DRP77HB5}},
  note         = {Machine review of arXiv:2411.17200}
}
abstract

A well-known, but often ignored issue in Yoneda-style definitions of cohomology objects via collections of $n$-step extensions (i.e., equivalence classes of exact sequences of a given length $n$ between two given objects, usually subject to further criteria, and equipped with some algebraic structure) is, whether such a collection of extensions forms a set. We explain that in the context of a semi-abelian variety of algebras, the answer to this question is, essentially, yes: for the collection of all $n$-step extensions between any two objects, a set of representing extensions can be chosen, so that the collection of extensions is "small" in the sense that a bijection to a set exists. We further consider some variations on this result, involving double extensions and crossed extensions (in the context of a semi-abelian variety), and Schreier extensions (in the category of monoids).

Figures

Figures reproduced from arXiv: 2411.17200 by the authors.

Figure 1
Figure 1. Spicing results in exact sequence of length n short exact sequence. Note that an exact sequence of length 1 is just a short exact sequence (where X1 “ X in the above). A morphism of exact sequences of length n is a tuple pαn, . . . , α1q such that the diagram 0 /K  fn`1 /Xn αn  fn /Xn´1 αn´1  / ¨ ¨ ¨ /X2 f2 / α2  X1 f1 / α1  Q  /0 0 /L gn`1 /Yn gn /Yn´1 / ¨ ¨ ¨ /Y2 g2 /Y1 g1 /R /0 commutes, in which the … view at source ↗
Figure 2
Figure 2. Syzygy and pullback Semi-abelian varieties of algebras do always have enough normal-projectives, because the free objects are projective with respect to the regular epimorphisms (= surjective algebra morphisms), and all regular epimorphisms are normal. In the context of an abelian category, all epimorphisms are normal, so we regain the usual definition of a projective object. A syzygy of an object Q is a short exact… view at source ↗
Figure 3
Figure 3. A p3 ˆ 3q-diagram: rows and columns are short exact sequences In the article [43], the Barr–Beck derived functors [2] of Homp´, Aq: V op Ñ Ab, where Ab is the category of abelian groups and A is an abelian object in a semi￾abelian variety V , are characterised in terms of so-called higher central extensions. This generalises the well-known classification of central extensions via cohomology, hinted at in Example 4.9… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

48 extracted references · 47 canonical work pages

  1. [35]

    Peschke and T

    G. Peschke and T. Van der Linden, A homological view of categorical algebra, Preprint arXiv:2404.15896, 2024

  2. [1]

    Artin, A

    M. Artin, A. Grothendieck, and J.-L. Verdier,Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos, Lecture Notes in Math., vol. 269, Springer, 1972, Séminaire de Géometrie Algébrique du Bois-Marie 1963-1964 (SGA4)

  3. [2]

    Barr and J

    M. Barr and J. Beck,Homology and standard constructions, Seminar on triples and categor- ical homology theory (ETH, Zürich, 1966/67), Lecture Notes in Math., vol. 80, Springer, 1969, pp. 245–335

  4. [3]

    M. Barr, P. A. Grillet, and D. H. van Osdol,Exact categories and categories of sheaves, Lecture Notes in Math., vol. 236, Springer, 1971

  5. [4]

    Borceux and D

    F. Borceux and D. Bourn,Mal’cev, protomodular, homological and semi-abelian categories, Math. Appl., vol. 566, Kluwer Acad. Publ., 2004

  6. [5]

    Borceux and M

    F. Borceux and M. M. Clementino,Topological semi-abelian algebras, Adv. Math.130(2005), 425–453

  7. [6]

    Bourn,Normalization equivalence, kernel equivalence and affine categories, Category The- ory, Proceedings Como 1990 (A

    D. Bourn,Normalization equivalence, kernel equivalence and affine categories, Category The- ory, Proceedings Como 1990 (A. Carboni, M. C. Pedicchio, and G. Rosolini, eds.), Lecture Notes in Math., vol. 1488, Springer, 1991, pp. 43–62

  8. [7]

    Bourn,The denormalized 3ˆ 3 lemma, J

    D. Bourn,The denormalized 3ˆ 3 lemma, J. Pure Appl. Algebra177 (2003), 113–129

Show all 48 references
  1. [8]

    Bourn and G

    D. Bourn and G. Janelidze,Characterization of protomodular varieties of universal algebras, Theory Appl. Categ.11 (2003), no. 6, 143–147

  2. [9]

    Carboni, G

    A. Carboni, G. M. Kelly, and M. C. Pedicchio, Some remarks on Maltsev and Goursat categories, Appl. Categ. Structures1 (1993), 385–421

  3. [10]

    Clarke,Lifting twisted coreflections against delta lenses, Theory Appl

    B. Clarke,Lifting twisted coreflections against delta lenses, Theory Appl. Categ.41 (2024), no. 26, 838–877

  4. [11]

    Pure Appl

    M.M.Clementino, A.Montoli, andL.Sousa, Semidirect products of (topological) semi-abelian algebras, J. Pure Appl. Algebra219 (2015), 183–197

  5. [12]

    Culot, F

    M. Culot, F. Renaud, and T. Van der Linden,Non-additive derived functors, Glasgow Math. J. (2025), 44 pages, to appear

  6. [13]

    W. G. Dwyer, P. S. Hirschhorn, D. M. Kan, and J. H. Smith,Homotopy limit functors on model categories and homotopical categories, Mathematical Surveys and Monographs, vol. 113, American Mathematical Society, Providence, RI, 2004

  7. [14]

    Everaert, M

    T. Everaert, M. Gran, and T. Van der Linden,Higher Hopf formulae for homology via Galois Theory, Adv. Math.217 (2008), no. 5, 2231–2267. THE COHOMOLOGY OBJECTS OF A SEMI-ABELIAN V ARIETY ARE SMALL 15

  8. [15]

    Everaert and T

    T. Everaert and T. Van der Linden,Galois theory and commutators, Algebra Universalis65 (2011), no. 2, 161–177

  9. [16]

    Gabriel and M

    P. Gabriel and M. Zisman,Calculus of fractions and homotopy theory, Springer, 1967

  10. [17]

    M. Gran, F. Sterck, and J. Vercruysse,A semi-abelian extension of a theorem by Takeuchi, J. Pure Appl. Algebra223 (2019), no. 10, 4171–4190

  11. [18]

    Gran and T

    M. Gran and T. Van der Linden,On the second cohomology group in semi-abelian categories, J. Pure Appl. Algebra212 (2008), 636–651

  12. [19]

    J. R. A. Gray and N. Martins-Ferreira,New exactness conditions involving split cubes in protomodular categories, Theory Appl. Categ.33 (2018), 1031–1058

  13. [20]

    Herrlich and G

    H. Herrlich and G. E. Strecker, Category Theory, 3 ed., Sigma Ser. Pure Math., vol. 1, Heldermann Verlag, 2007

  14. [21]

    P. J. Higgins,Groups with multiple operators, Proc. Lond. Math. Soc. (3)6 (1956), no. 3, 366–416

  15. [22]

    Holt,An interpretation of the cohomology groupsH npG, Mq, J

    D. Holt,An interpretation of the cohomology groupsH npG, Mq, J. Algebra60 (1979), 307– 318

  16. [23]

    Huebschmann, Crossed n-fold extensions of groups and cohomology, Comment

    J. Huebschmann, Crossed n-fold extensions of groups and cohomology, Comment. Math. Helv. 55 (1980), 302–314

  17. [24]

    Inyangala,Categorical semi-direct products in varieties of groups with multiple operators, Ph.D

    E. Inyangala,Categorical semi-direct products in varieties of groups with multiple operators, Ph.D. thesis, University of Cape Town, 2010

  18. [25]

    Janelidze,Internal crossed modules, Georgian Math

    G. Janelidze,Internal crossed modules, Georgian Math. J.10 (2003), no. 1, 99–114

  19. [26]

    Janelidze, L

    G. Janelidze, L. Márki, and W. Tholen,Semi-abelian categories, J. Pure Appl. Algebra168 (2002), no. 2–3, 367–386

  20. [27]

    P. T. Johnstone,A note on the semiabelian variety of Heyting semilattices, Galois Theory, Hopf Algebras, and Semiabelian Categories, Fields Inst. Commun., vol. 43, Amer. Math. Soc., 2004, pp. 317–318

  21. [28]

    MacLane, Homology, Grundlehren math

    S. MacLane, Homology, Grundlehren math. Wiss., vol. 114, Springer, 1967

  22. [29]

    Martins-Ferreira,Semi-biproducts of monoids, preprint arXiv:2109.06278, 2021

    N. Martins-Ferreira,Semi-biproducts of monoids, preprint arXiv:2109.06278, 2021

  23. [30]

    Martins-Ferreira, Pointed semibiproducts of monoids, Theory Appl

    N. Martins-Ferreira, Pointed semibiproducts of monoids, Theory Appl. Categ. 39 (2023), no. 6, 172–185

  24. [31]

    Martins-Ferreira, A

    N. Martins-Ferreira, A. Montoli, A. Patchkoria, and M. Sobral, On the classification of Schreier extensions of monoids with non-abelian kernel, Forum Math. 32 (2020), no. 3, 607–623

  25. [32]

    Smith is Huq

    N. Martins-Ferreira and T. Van der Linden,A note on the “Smith is Huq” condition, Appl. Categ. Structures 20 (2012), no. 2, 175–187

  26. [33]

    Montoli, D

    A. Montoli, D. Rodelo, and T. Van der Linden,On the reflectiveness of special homogeneous surjections of monoids, Categorical Methods in Algebra and Topology, Textos de Matemática (Série B), vol. 46, Departamento de Matemática da Universidade de Coimbra, 2014, pp. 237– 244

  27. [34]

    Peschke and T

    G. Peschke and T. Van der Linden,The Yoneda isomorphism commutes with homology, J. Pure Appl. Algebra220 (2016), 495–517

  28. [36]

    D. G. Quillen,Homotopical algebra, Lecture Notes in Math., vol. 43, Springer, 1967

  29. [37]

    Rédei, Die Verallgemeinerung der Schreierschen Erweiterungstheorie, Acta Sci

    L. Rédei, Die Verallgemeinerung der Schreierschen Erweiterungstheorie, Acta Sci. Math. (Szeged) 14 (1952), 252–273

  30. [38]

    Rodelo,Moore categories, Theory Appl

    D. Rodelo,Moore categories, Theory Appl. Categ.12 (2004), no. 6, 237–247

  31. [39]

    Rodelo,Direcções para a sucessão longa de co-homologia, Ph.D

    D. Rodelo,Direcções para a sucessão longa de co-homologia, Ph.D. thesis, Universidade de Coimbra, 2005

  32. [40]

    Rodelo, Directions for the long exact cohomology sequence in Moore categories, Appl

    D. Rodelo, Directions for the long exact cohomology sequence in Moore categories, Appl. Categ. Structures 17 (2009), no. 4, 387–418

  33. [41]

    Rodelo and T

    D. Rodelo and T. Van der Linden, The third cohomology group classifies double central extensions, Theory Appl. Categ.23 (2010), no. 8, 150–169

  34. [42]

    Rodelo and T

    D. Rodelo and T. Van der Linden,Higher central extensions via commutators, Theory Appl. Categ. 27 (2012), no. 9, 189–209

  35. [43]

    Rodelo and T

    D. Rodelo and T. Van der Linden,Higher central extensions and cohomology, Adv. Math. 287 (2016), 31–108

  36. [44]

    Van der Linden,Simplicial homotopy in semi-abelian categories, J

    T. Van der Linden,Simplicial homotopy in semi-abelian categories, J. K-Theory 4 (2009), no. 2, 379–390

  37. [45]

    Verdier,Des catégories dérivées des catégories abéliennes, Ph.D

    J.-L. Verdier,Des catégories dérivées des catégories abéliennes, Ph.D. thesis, Université de Paris, 1967

  38. [46]

    Verdier,Des catégories dérivées des catégories abéliennes, Astérisque (1996), no

    J.-L. Verdier,Des catégories dérivées des catégories abéliennes, Astérisque (1996), no. 239, xii+253, With a preface by Luc Illusie, Edited and with a note by Georges Maltsiniotis. 16 SÉBASTIEN MATTENET, TIM V AN DER LINDEN, AND RAPHAËL JUNGERS

  39. [47]

    Ch. A. Weibel,An introduction to homological algebra, Cambridge Stud. Adv. Math., vol. 38, Cambridge Univ. Press, 1994

  40. [48]

    Yoneda,On Ext and exact sequences, J

    N. Yoneda,On Ext and exact sequences, J. Fac. Sci. Univ. Tokyo1 (1960), no. 8, 507–576. Email address, Sébastien Mattenet: sebastien.mattenet@uclouvain.be Email address, Tim Van der Linden:tim.vanderlinden@uclouvain.be Email address, Tim Van der Linden:tim.van.der.linden@vub.b...

Pith tools

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