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 →
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 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.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [§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.
- [§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.
- [§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.
- [Figure 1 caption] The caption contains a typo: "Spicing" should be "Splicing".
- [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
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
assumptions (4)
- standard math ZFC with a chosen Grothendieck universe U, including the Axiom of Choice.
- 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.
- domain assumption Semi-abelian varieties have enough normal-projectives and pullback-stable normal epimorphisms.
- standard math The standard categorical framework of kernels, cokernels, normal monomorphisms, normal epimorphisms and exact sequences as recalled in Section 3.
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
Reference graph
Works this paper leans on
-
[35]
G. Peschke and T. Van der Linden, A homological view of categorical algebra, Preprint arXiv:2404.15896, 2024
arXiv 2024
- [1]
-
[2]
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
work page 1966
-
[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
work page 1971
-
[4]
F. Borceux and D. Bourn,Mal’cev, protomodular, homological and semi-abelian categories, Math. Appl., vol. 566, Kluwer Acad. Publ., 2004
work page 2004
-
[5]
F. Borceux and M. M. Clementino,Topological semi-abelian algebras, Adv. Math.130(2005), 425–453
work page 2005
-
[6]
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
work page 1990
-
[7]
Bourn,The denormalized 3ˆ 3 lemma, J
D. Bourn,The denormalized 3ˆ 3 lemma, J. Pure Appl. Algebra177 (2003), 113–129
work page 2003
Show all 48 references
-
[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
2003
-
[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
1993
-
[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
2024
-
[11]
Pure Appl
M.M.Clementino, A.Montoli, andL.Sousa, Semidirect products of (topological) semi-abelian algebras, J. Pure Appl. Algebra219 (2015), 183–197
2015
-
[12]
Culot, F
M. Culot, F. Renaud, and T. Van der Linden,Non-additive derived functors, Glasgow Math. J. (2025), 44 pages, to appear
2025
-
[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
2004
-
[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
2008
-
[15]
Everaert and T
T. Everaert and T. Van der Linden,Galois theory and commutators, Algebra Universalis65 (2011), no. 2, 161–177
2011
-
[16]
Gabriel and M
P. Gabriel and M. Zisman,Calculus of fractions and homotopy theory, Springer, 1967
1967
-
[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
2019
-
[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
2008
-
[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
2018
-
[20]
Herrlich and G
H. Herrlich and G. E. Strecker, Category Theory, 3 ed., Sigma Ser. Pure Math., vol. 1, Heldermann Verlag, 2007
2007
-
[21]
P. J. Higgins,Groups with multiple operators, Proc. Lond. Math. Soc. (3)6 (1956), no. 3, 366–416
1956
-
[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
1979
-
[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
1980
-
[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
2010
-
[25]
Janelidze,Internal crossed modules, Georgian Math
G. Janelidze,Internal crossed modules, Georgian Math. J.10 (2003), no. 1, 99–114
2003
-
[26]
Janelidze, L
G. Janelidze, L. Márki, and W. Tholen,Semi-abelian categories, J. Pure Appl. Algebra168 (2002), no. 2–3, 367–386
2002
-
[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
2004
-
[28]
MacLane, Homology, Grundlehren math
S. MacLane, Homology, Grundlehren math. Wiss., vol. 114, Springer, 1967
1967
-
[29]
Martins-Ferreira,Semi-biproducts of monoids, preprint arXiv:2109.06278, 2021
N. Martins-Ferreira,Semi-biproducts of monoids, preprint arXiv:2109.06278, 2021
2021 arXiv
-
[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
2023
-
[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
2020
-
[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
2012
-
[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
2014
-
[34]
Peschke and T
G. Peschke and T. Van der Linden,The Yoneda isomorphism commutes with homology, J. Pure Appl. Algebra220 (2016), 495–517
2016
-
[36]
D. G. Quillen,Homotopical algebra, Lecture Notes in Math., vol. 43, Springer, 1967
1967
-
[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
1952
-
[38]
Rodelo,Moore categories, Theory Appl
D. Rodelo,Moore categories, Theory Appl. Categ.12 (2004), no. 6, 237–247
2004
-
[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
2005
-
[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
2009
-
[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
2010
-
[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
2012
-
[43]
Rodelo and T
D. Rodelo and T. Van der Linden,Higher central extensions and cohomology, Adv. Math. 287 (2016), 31–108
2016
-
[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
2009
-
[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
1967
-
[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
1996
-
[47]
Ch. A. Weibel,An introduction to homological algebra, Cambridge Stud. Adv. Math., vol. 38, Cambridge Univ. Press, 1994
1994
-
[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...
1960
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.