Cofibrant generation of pure monomorphisms in presheaf categories

Basic Information

• Paper ID: 2506.20278
• Title: Cofibrant generation of pure monomorphisms in presheaf categories
• Authors: S. Cox, J. Feigert, M. Kamsma, M. Mazari-Armida, J. Rosický
• Classification: math.CT (Category Theory), math.LO (Logic)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2506.20278

Abstract

This paper characterizes when pure monomorphisms in the presheaf category $\mathbf{Set}^{\mathcal{C}}$ are cofibrant-generated, with the characterization entirely determined by the category $\mathcal{C}$. In particular, when $\mathcal{C}$ is a monoid $S$, this yields a complete characterization of cofibrant generation of pure monomorphisms between sets with $S$-actions: if and only if for all $a, b \in S$, there exists $c \in S$ such that $a = cb$ or $ca = b$. The authors employ model-theoretic methods to prove that this characterization is equivalent to the existence of a stable independence relation, which in turn is equivalent to cofibrant generation. As a corollary, it is shown that pure monomorphisms in actions over the multiplicative monoid of natural numbers are not cofibrant-generated.

Research Background and Motivation

Problem Background

1. Importance of pure monomorphisms: Pure monomorphisms lie between embeddings and elementary embeddings, introduced by Prüfer over a century ago for abelian groups, and have since been extensively studied in module theory, model theory, action theory, universal algebra, and category theory.
2. Significance of cofibrant generation: In module categories, the result that pure monomorphisms are cofibrant-generated was recently established. Cofibrant generation implies the existence of sufficiently many pure injective objects, an important categorical property.
3. Limitations of existing results: Although certain categories (such as actions over the additive monoid of natural numbers and actions over groups) are known to have sufficiently many pure injective objects, a complete characterization of when pure monomorphisms are cofibrant-generated in general presheaf categories has been lacking.

Research Motivation

1. Perfecting the theoretical framework: Establishing a complete characterization of cofibrant generation of pure monomorphisms in presheaf categories
2. Unifying existing results: Bringing known special cases into a unified general framework
3. Providing counterexamples: Proving that pure monomorphisms are not cofibrant-generated in certain important cases

Core Contributions

1. Main theorem: Completely characterizes when pure monomorphisms in the presheaf category $\mathbf{Set}^{\mathcal{C}}$ are cofibrant-generated—if and only if $\mathcal{C}$ is locally linear preordered
2. Model-theoretic method: Innovatively uses stable independence relations to connect algebra and category theory, representing one of the first applications of categorical model-theoretic independence
3. Concrete characterization: For the monoid case, provides a concise algebraic condition: $\forall a,b \in S, \exists c \in S: a=cb \text{ or } ca=b$
4. Important counterexample: Proves that pure monomorphisms in actions over the multiplicative monoid of natural numbers are not cofibrant-generated
5. Equivalence chain: Establishes seven equivalent conditions connecting cofibrant generation, stable independence, pure effective squares, and other concepts

Methodology Details

Core Definitions

Definition 1.1 (Locally linear preordered): A category $\mathcal{C}$ is called locally linear preordered if for any span $Y \xleftarrow{f} X \xrightarrow{g} Z$, either there exists $h: Y \to Z$ such that $hf = g$, or there exists $h': Z \to Y$ such that $f = h'g$.

Definition 2.11 (Pure effective square): A commutative square of pure monomorphisms is called pure effective if the induced arrow from the relevant pushout to this square is a pure monomorphism.

Technical Framework

1. Presheaves as Many-sorted Unary Algebras

The presheaf category $\mathbf{Set}^{\mathcal{C}}$ is viewed as an algebraic category over a many-sorted signature $L_{\mathcal{C}}$:

• Each object $X \in \mathcal{C}$ corresponds to a sort
• Each arrow $f: X \to Y$ corresponds to a function symbol
• Satisfying identity and composition axioms

2. Logical Characterization of Pure Monomorphisms

Using positive primitive formulas (pp-formulas) to characterize pure monomorphisms: a homomorphism $f: K \to L$ is a pure monomorphism if and only if for all pp-formulas $\varphi$ and elements $a_1, \ldots, a_n \in K$: $K \models \varphi(a_1, \ldots, a_n) \Leftrightarrow L \models \varphi(f(a_1), \ldots, f(a_n))$

3. Stable Independence Relations

Introduces the concept of independence relations on categories, requiring symmetry, uniqueness, transitivity, and existence properties. Stable independence relations additionally require that the corresponding independence relation category is accessible.

Proof Strategy

Phase One: Bad Configuration Analysis

Definition 3.2: An $(f,g)$-interpretation of the complete bipartite graph consists of infinite sets $A, B$ such that for all $a \in A, b \in B$, there exists $c$ satisfying $f \cdot c = a$ and $g \cdot c = b$.

Theorem 3.6: If pure effective squares form a stable independence relation, then there exists no presheaf interpreting the complete bipartite graph.

Theorem 3.7: If there exists no presheaf with the span-induced ordering property, then $\mathcal{C}$ is locally linear preordered.

Phase Two: Pure Effective Square Characterization

Theorem 4.1: If $\mathcal{C}$ is locally linear preordered, then a commutative square is pure effective if and only if it is a pullback square composed of pure monomorphisms.

The proof employs connectivity analysis:

• Lemma 4.4: If $C_K^L(A \setminus K) \cap C_K^L(B \setminus K) = \emptyset$, then the corresponding pullback square is pure effective
• Lemma 4.6: Under the locally linear preordered condition, the above connectivity condition is always satisfied

Phase Three: Equivalence Establishment

Theorem 5.1: Establishes seven equivalent conditions:

1. Pure monomorphisms are cofibrant-generated
2. Pure effective squares form a stable independence relation
3. Pullback squares form a stable independence relation
4. There exists a stable independence relation
5. There exists no presheaf interpreting the complete bipartite graph
6. There exists no presheaf with the span-induced ordering property
7. $\mathcal{C}$ is locally linear preordered

Experimental Setup

This paper is purely theoretical work with no numerical experiments, but provides abundant examples verifying the theoretical results.

Verification Examples

1. Additive monoid of natural numbers $\mathbb{N}^+$: Satisfies the locally linear preordered condition, pure monomorphisms are cofibrant-generated
2. Groupoids: Any groupoid is locally linear preordered, hence pure monomorphisms in the corresponding presheaf category are cofibrant-generated
3. Posets: A poset $P$ is locally linear preordered if and only if every upper set $\uparrow x$ is linearly ordered
4. Simplicial sets: $\Delta$ is not locally linear preordered, hence pure monomorphisms in the simplicial set category are not cofibrant-generated

Experimental Results

Main Results

Corollary 5.4: Pure monomorphisms in actions over the multiplicative monoid of natural numbers $\mathbb{N}^{\times}$ are not cofibrant-generated.

Proof: Since there exists no $n \in \mathbb{N}$ such that $2 = n \times 3$ or $3 = n \times 2$, $\mathbb{N}^{\times}$ is not locally linear preordered.

Theoretical Verification

The main theorem is verified through construction of concrete counterexamples:

• In Construction 3.9, presheaves with ordering properties are constructed from spans not satisfying the locally linear preordered condition
• The well-definedness and required properties of this construction are established

Application Extensions

Corollary 1.3: If $\mathcal{C}$ is locally linear preordered, then $\mathbf{Set}^{\mathcal{C}}$ has sufficiently many pure injective objects.

This unifies and generalizes several known results, including cases of actions over groups and actions over the additive monoid of natural numbers.

Related Work

Historical Development

1. Prüfer (1923): Introduced the concept of pure monomorphisms for abelian groups
2. Wenzel & Banaschewski (1970s): Proved that certain action categories have sufficiently many pure injective objects
3. Lieberman, Positselski, Rosický, Vasey (2020): Proved that pure monomorphisms are cofibrant-generated in module categories
4. Borceux & Rosický (2007): Provided sufficient conditions for presheaf categories to have sufficiently many pure injective objects

Contributions of This Paper

• Removes superfluous conditions from 9
• Establishes complete necessary and sufficient conditions
• First application of categorical model-theoretic independence methods

Conclusions and Discussion

Main Conclusions

This paper completely resolves the question of when pure monomorphisms in presheaf categories are cofibrant-generated, providing a concise categorical characterization. For the monoid case, the condition is particularly simple: any two elements have a "common factor" relationship.

Limitations

1. Scope of applicability: Results apply only to presheaf categories and do not directly generalize to other categories
2. Constructivity: Although a characterization is provided, no algorithm for constructing cofibrant-generating sets is given
3. Computational complexity: For complex categories, verifying the locally linear preordered condition may be difficult

Future Directions

1. Open Problem 5.5: Does there exist a presheaf category with sufficiently many pure injective objects but where pure monomorphisms are not cofibrant-generated?
2. Generalization: Can the results be extended to other types of categories?
3. Computation: How can one effectively compute or construct cofibrant-generating sets?

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides complete necessary and sufficient conditions, resolving a fundamental problem
2. Methodological innovation: Innovatively applies model-theoretic methods to categorical problems
3. Result unification: Unifies multiple known results into a single framework
4. Technical depth: Synthesizes methods from category theory, model theory, and algebra

Weaknesses

1. Pure theory: Results are primarily theoretical with limited practical applications
2. Technical threshold: Requires readers to have background in category theory and model theory
3. Lack of constructivity: No constructive proofs or algorithms are provided

Impact

1. Theoretical contribution: Provides important applications for categorical model-theoretic independence theory
2. Methodology: Demonstrates the power of cross-disciplinary methods
3. Foundational: Establishes solid foundations for further research

Applicable Scenarios

1. Algebraic topology: Study of simplicial sets and other topological categories
2. Algebraic geometry: Study of sheaf categories
3. Computer science: Type theory and programming language semantics
4. Logic: Applications of model theory in category theory

References

The paper cites 30 related references, covering classical and recent results from multiple fields including category theory, model theory, and universal algebra, providing a solid theoretical foundation for the research.