pith. sign in

arxiv: 2606.11030 · v1 · pith:7JGRGS52new · submitted 2026-06-09 · 🧮 math.CT · math.LO

Cellular generation revisited

Sean Cox , Mark Kamsma , Ji\v{r}\'i Rosick\'y This is my paper

Pith reviewed 2026-06-27 10:45 UTC · model grok-4.3

classification 🧮 math.CT math.LO
keywords cellular generationquasieffective squareslocally presentable categorieseffective squaressmallness conditionscontinuous classesaccessibility
0
0 comments X

The pith

In a locally presentable category a class of morphisms is cellularly generated exactly when it is almost everywhere quasieffective.

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

The paper proves that cellular generation of a class M of morphisms is equivalent to M being almost everywhere quasieffective. Cellular generation is a smallness condition that generalizes cofibrant generation and is often verified using effective squares formed from pushouts. The new condition replaces this with a set-theoretic check: for almost every partial elementary subuniverse the restriction of any map in M produces a quasieffective square. This equivalence supplies a practical test for the categorical property and yields further characterizations when the category is locally finitely presentable or when M is continuous.

Core claim

In a locally presentable category, a class M of morphisms is cellularly generated if and only if M is almost everywhere quasieffective, where the latter means that for almost every partial elementary set-theoretic subuniverse N the restriction of any morphism in M to N yields an M-quasieffective square. For locally finitely presentable categories this is equivalent to the existence of filtrations by quasieffective squares. When M is additionally continuous the category of M-effective squares is accessible.

What carries the argument

M-quasieffective squares, commuting squares of morphisms whose induced pushout map lies in M even when the vertical legs need not; the almost-everywhere property converts the existence of such squares into a restriction condition on subuniverses.

If this is right

  • Verification of cellular generation reduces to checking quasieffectiveness after restriction to almost all subuniverses.
  • In locally finitely presentable categories cellular generation is equivalent to the existence of filtrations consisting of quasieffective squares.
  • For continuous M the category of M-effective squares is accessible.
  • The equivalence supplies a set-theoretic route to deciding membership in cellularly generated classes.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same translation between categorical pushouts and subuniverse restrictions may apply to other smallness notions such as accessibility of categories of algebras.
  • Concrete examples in locally presentable categories such as modules or sheaves could be checked directly to see whether the quasieffectiveness condition holds in practice.
  • If the subuniverse condition can be formulated without local presentability the equivalence might extend to broader classes of categories.

Load-bearing premise

The ambient category is locally presentable, so all small colimits exist and every object arises as a filtered colimit of a small generating set, allowing set-theoretic subuniverse restrictions to interact with pushouts as expected.

What would settle it

A concrete locally presentable category together with a class M that is cellularly generated yet fails to be almost everywhere quasieffective on some subuniverse, or the converse, would refute the claimed equivalence.

read the original abstract

Cellular generation, which generalises cofibrant generation, is an important categorical smallness condition on a class of morphisms. A general challenge is to determine whether a given class of morphisms $\mathcal{M}$ is cellularly generated, in which $\mathcal{M}$-effective squares are often useful. These are commuting squares consisting of morphisms in $\mathcal{M}$, so that the induced morphism from the pushout square is also in $\mathcal{M}$. When we drop the requirement that the vertical morphisms in the square are in $\mathcal{M}$ we obtain the weaker notion of $\mathcal{M}$-quasieffective square. We prove that, in a locally presentable category, $\mathcal{M}$ is cellularly generated if and only if $\mathcal{M}$ is almost everywhere quasieffective. The latter is a set-theoretic condition stating that for almost every partial elementary set-theoretic subuniverse $\mathfrak{N}$, we have that restricting any morphism in $\mathcal{M}$ to $\mathfrak{N}$ yields an $\mathcal{M}$-quasieffective square. For locally finitely presentable categories this yields an additional categorical characterisation in terms of filtrations of $\mathcal{M}$-quasieffective squares. If we additionally assume that $\mathcal{M}$ is continuous (i.e., the corresponding wide subcategory is closed under directed colimits) then we obtain a stronger characterisation of cellular generation in terms of accessibility of the category of $\mathcal{M}$-effective squares. This improves on a theorem by Lieberman, Vasey, and the third author.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that in a locally presentable category, a class of morphisms M is cellularly generated if and only if M is almost everywhere quasieffective (i.e., for almost every partial elementary set-theoretic subuniverse N, the restriction of any morphism in M to N yields an M-quasieffective square). It also derives a filtration-based characterization for locally finitely presentable categories and, when M is continuous, an accessibility result for the category of M-effective squares, improving on a theorem of Lieberman, Vasey, and the third author.

Significance. If the equivalence holds, the result supplies a concrete set-theoretic test for cellular generation (a generalization of cofibrant generation) that may be easier to verify in practice than direct smallness checks on effective squares. The continuous-case accessibility statement and the lfp filtration characterization are additional strengths that connect the notion to standard tools in accessible categories.

major comments (1)
  1. [proof of the main equivalence (following definitions of effective and quasieffective squares)] The proof of the central equivalence must contain an explicit verification that restriction to partial elementary subuniverses commutes with the pushout construction in a manner preserving membership in M (or quasieffectiveness); this commutation is not automatic from the definition of elementary subuniverses and is load-bearing for the direction from cellular generation to the set-theoretic condition.
minor comments (2)
  1. [abstract] The abstract states the equivalence cleanly but does not indicate where the independence of the set-theoretic condition from the choice of subuniverse representatives is verified; a brief pointer would help.
  2. Notation for partial elementary subuniverses and the 'almost every' quantifier could be introduced with a short preliminary paragraph before the main theorem to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough review and valuable feedback on the manuscript. We will address the major comment by enhancing the proof with the requested explicit verification.

read point-by-point responses

  1. Referee: [proof of the main equivalence (following definitions of effective and quasieffective squares)] The proof of the central equivalence must contain an explicit verification that restriction to partial elementary subuniverses commutes with the pushout construction in a manner preserving membership in M (or quasieffectiveness); this commutation is not automatic from the definition of elementary subuniverses and is load-bearing for the direction from cellular generation to the set-theoretic condition.

    Authors: We agree with the referee that an explicit verification is required to make the argument rigorous. In the revised manuscript, we will add a new lemma immediately following the definitions of effective and quasieffective squares. This lemma will prove that the restriction to a partial elementary subuniverse commutes with pushouts (up to canonical isomorphism) and that if a square is M-effective, its restriction is M-quasieffective. This addresses the load-bearing step for the implication from cellular generation to almost everywhere quasieffectiveness. revision: yes

Circularity Check

0 steps flagged

Equivalence of cellular generation and almost-everywhere quasieffectiveness derived from definitions in locally presentable categories; minor self-citation not load-bearing.

full rationale

The central result is an explicit if-and-only-if theorem equating the categorical smallness condition (M-effective squares closed under pushouts) with the set-theoretic restriction condition on partial elementary subuniverses. Both sides are defined independently; the proof invokes local presentability to translate between them via filtered colimits and pushout preservation, without any parameter fitting, renaming of known results, or reduction of one side to the other by construction. The sole self-citation (improvement on Lieberman-Vasey-Rosický) concerns a prior accessibility result and is not used to justify the main equivalence. No quoted step in the provided abstract or reader's summary exhibits a definitional loop or fitted-input prediction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on the standard axioms of locally presentable categories (cocomplete, generated under filtered colimits by a small set) and on the set-theoretic background that guarantees the existence of sufficiently many partial elementary subuniverses; no free parameters or new postulated entities are introduced.

axioms (2)
  • standard math Every locally presentable category admits all small colimits and is generated under filtered colimits by a small set of objects.
    The main theorem is stated only for locally presentable categories and uses their colimit and generation properties to relate cellular generation to the restriction condition.
  • standard math Partial elementary set-theoretic subuniverses exist in sufficient number that the 'almost everywhere' quantifier is meaningful.
    The definition of 'almost everywhere quasieffective' is formulated in terms of these subuniverses.

pith-pipeline@v0.9.1-grok · 5801 in / 1633 out tokens · 34390 ms · 2026-06-27T10:45:05.422377+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 4 canonical work pages

  1. [1]

    Ad\'amek, Ji. Locally

  2. [2]

    and Rosick\'y, J

    Ad\'amek, J. and Rosick\'y, J. , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1995 , NUMBER =. doi:10.1016/0022-4049(94)00152-9 , URL =

    work page doi:10.1016/0022-4049(94)00152-9 1995

  3. [3]

    and Rosick\'y, J

    Ad\'amek, J. and Rosick\'y, J. , TITLE =. Czechoslovak Math. J. , FJOURNAL =. 2004 , NUMBER =

    2004

  4. [4]

    Bagaria, Joan and Casacuberta, Carles and Mathias, A. R. D. and Rosick\'y, Ji r\'i , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2015 , NUMBER =

    2015

  5. [5]

    Annals of Pure and Applied Logic , volume =

    Abstract Elementary Classes and Accessible Categories , author =. Annals of Pure and Applied Logic , volume =

  6. [6]

    and Mekler, Alan H

    Eklof, Paul C. and Mekler, Alan H. , TITLE =. 2002 , PAGES =

    2002

  7. [7]

    obel, R\

    G\"obel, R\"udiger and Trlifaj, Jan , TITLE =. 2012 , PAGES =

    2012

  8. [8]

    2003 , PAGES =

    Jech, Thomas , TITLE =. 2003 , PAGES =

    2003

  9. [9]

    2009 , PAGES =

    Kanamori, Akihiro , TITLE =. 2009 , PAGES =

    2009

  10. [10]

    1980 , PAGES =

    Kunen, Kenneth , TITLE =. 1980 , PAGES =

    1980

  11. [11]

    Israel Journal of Mathematics , volume =

    Sizes and Filtrations in Accessible Categories , author =. Israel Journal of Mathematics , volume =

  12. [12]

    Advances in Mathematics , volume =

    On a Fat Small Object Argument , author =. Advances in Mathematics , volume =

  13. [13]

    Journal of Pure and Applied Algebra , volume =

    Cellular Categories , author =. Journal of Pure and Applied Algebra , volume =

  14. [14]

    Algebra universalis , volume =

    Purity in Algebra , author =. Algebra universalis , volume =

  15. [15]

    The Journal of Symbolic Logic , volume =

    Cellular Categories and Stable Independence , author =. The Journal of Symbolic Logic , volume =

  16. [16]

    Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques , volume =

    Pullbacks Equivalent to Pseudopullbacks , author =. Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques , volume =

  17. [17]

    and Verdier, J

    Grothendieck, A. and Verdier, J. L. , year = 1972, series =. Th\'eorie Des. doi:10.1007/BFb0081551 , copyright =

    work page doi:10.1007/bfb0081551 1972

  18. [18]

    2006 , PAGES =

    Kashiwara, Masaki and Schapira, Pierre , year = 2006, series =. Categories and. doi:10.1007/3-540-27950-4 , copyright =

    work page doi:10.1007/3-540-27950-4 2006

  19. [19]

    Advances in Mathematics , volume =

    Forking Independence from the Categorical Point of View , author =. Advances in Mathematics , volume =

  20. [20]

    On Categories with Effective Unions , booktitle =

    Barr, Michael , editor =. On Categories with Effective Unions , booktitle =

  21. [21]

    2026 , issn =

    Cofibrant generation of pure monomorphisms in presheaf categories , journal =. 2026 , issn =. doi:https://doi.org/10.1016/j.aim.2026.111010 , url =

    work page doi:10.1016/j.aim.2026.111010 2026

  22. [22]

    Categories for the

    MacLane, Saunders , year = 2013, month = nov, publisher =. Categories for the

    2013

  23. [23]

    Accessible Categories: The Foundations of Categorical Model Theory , shorttitle =

    Makkai, Mih. Accessible Categories: The Foundations of Categorical Model Theory , shorttitle =

  24. [24]

    Gabriel, Peter and Ulmer, Friedrich , year = 1971, series =

    1971

  25. [25]

    , year = 1967, series =

    Quillen, Daniel G. , year = 1967, series =. Homotopical

    1967

  26. [26]

    Ad. Weak. Applied Categorical Structures , volume =

  27. [27]

    Journal of the London Mathematical Society , volume =

    The Flat Cover Conjecture for Monoid Acts , author =. Journal of the London Mathematical Society , volume =

  28. [28]

    Hovey, Mark , year = 2014, series =. Model

    2014

  29. [29]

    Journal of Algebra , volume =

    Cofibrant Generation of Pure Monomorphisms , author =. Journal of Algebra , volume =

  30. [30]

    Classification Theory and the Number of Nonisomorphic Models , shorttitle =

    Shelah, Saharon , year = 1990, edition =. Classification Theory and the Number of Nonisomorphic Models , shorttitle =

    1990

  31. [31]

    Journal of Pure and Applied Algebra , volume =

    Maximum Deconstructibility in Module Categories , author =. Journal of Pure and Applied Algebra , volume =