Completions and Terminal Monads
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916743158431744 |
|---|---|
| author | Farjoun, Emmanuel Dror Ivanov, Sergei O. |
| author_facet | Farjoun, Emmanuel Dror Ivanov, Sergei O. |
| contents | We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in the category of co-augmented endo-functors. Once extended to infinity categories, this gives, for example, a complete characterization of the well-known Bousfield-Kan R-homology completion. In addition, we note that an idempotent pro-completion tower can be associated with any co-augmented endo functor M, whose limit is the terminal monad that preserves the closure of ImM, the image of M, under finite limits. We conclude that some basic properties of the homological completion tower of a space can be formulated and proved for general monads over any category with limits, and characterized as universal |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2302_14474 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Completions and Terminal Monads Farjoun, Emmanuel Dror Ivanov, Sergei O. Category Theory Algebraic Topology 18C15 We consider the terminal monad among those preserving the objects of a subcategory, and in particular preserving the image of a monad. Several common monads are shown to be uniquely characterized by the property of being terminal objects in the category of co-augmented endo-functors. Once extended to infinity categories, this gives, for example, a complete characterization of the well-known Bousfield-Kan R-homology completion. In addition, we note that an idempotent pro-completion tower can be associated with any co-augmented endo functor M, whose limit is the terminal monad that preserves the closure of ImM, the image of M, under finite limits. We conclude that some basic properties of the homological completion tower of a space can be formulated and proved for general monads over any category with limits, and characterized as universal |
| title | Completions and Terminal Monads |
| topic | Category Theory Algebraic Topology 18C15 |
| url | https://arxiv.org/abs/2302.14474 |