Year: 2025
Type: preprint
Abstract: We analyze the structure of left maps in algebraic weak factorization systems constructed using Garner's algebraic small object argument. We find that any left map can be constructed from generators in Bourke and Garner's double category of left maps by operations that parallel the classical cell-complex-forming operations of Quillen's small object argument (coproducts, cobase changes, transfinite composites, and retracts). Our main theorems are phrased as "saturation" principles, which express the closure conditions necessary for a given property or structure to extend from generators to all left maps. The core of the argument is an analysis of the construction of the free monad on a pointed endofunctor.
Source: arXiv (Cornell University)
Authors: Cavallo, Evan, Sattler, Christian
Institutions: Chalmers University of Technology, University of Gothenburg
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4415134457