Cofibrant generation of pure monomorphisms in presheaf categories
Category Theory
2026-04-30 v3 Logic
Abstract
We characterise when the pure monomorphisms in a presheaf category are cofibrantly generated in terms of the category . In particular, when is a monoid this characterises cofibrant generation of pure monomorphisms between sets with an -action in terms of : this happens if and only if for all there is such that or . We give a model-theoretic proof: we prove that our characterisation is equivalent to having a stable independence relation, which in turn is equivalent to cofibrant generation. As a corollary, we show that pure monomorphisms in acts over the multiplicative monoid of natural numbers are not cofibrantly generated.
Cite
@article{arxiv.2506.20278,
title = {Cofibrant generation of pure monomorphisms in presheaf categories},
author = {Sean Cox and Jonathan Feigert and Mark Kamsma and Marcos Mazari-Armida and Jiří Rosický},
journal= {arXiv preprint arXiv:2506.20278},
year = {2026}
}
Comments
26 pages