The algebraic small object argument as a saturation
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866911232919863296 |
|---|---|
| author | Cavallo, Evan Sattler, Christian |
| author_facet | Cavallo, Evan Sattler, Christian |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_02759 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The algebraic small object argument as a saturation Cavallo, Evan Sattler, Christian Category Theory Algebraic Topology 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. |
| title | The algebraic small object argument as a saturation |
| topic | Category Theory Algebraic Topology |
| url | https://arxiv.org/abs/2506.02759 |