The eventual image
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866929332359790592 |
|---|---|
| author | Leinster, Tom |
| author_facet | Leinster, Tom |
| contents | In a category with enough limits and colimits, one can form the universal automorphism on an endomorphism in two dual senses. Sometimes these dual constructions coincide, as in the categories of finite sets, finite-dimensional vector spaces, and compact metric spaces. There, beginning with an endomorphism $f$, there is a doubly-universal automorphism on $f$ whose underlying object is the eventual image $\bigcap_n \mathrm{im}(f^n)$. Our main theorem unifies these examples, stating that in any category with a factorization system satisfying certain axioms, the eventual image has two dual universal properties. A further theorem characterizes the eventual image as a terminal coalgebra. In all, nine characterizations of the eventual image are given, valid at different levels of generality. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2210_00302 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | The eventual image Leinster, Tom Category Theory Dynamical Systems General Topology Rings and Algebras In a category with enough limits and colimits, one can form the universal automorphism on an endomorphism in two dual senses. Sometimes these dual constructions coincide, as in the categories of finite sets, finite-dimensional vector spaces, and compact metric spaces. There, beginning with an endomorphism $f$, there is a doubly-universal automorphism on $f$ whose underlying object is the eventual image $\bigcap_n \mathrm{im}(f^n)$. Our main theorem unifies these examples, stating that in any category with a factorization system satisfying certain axioms, the eventual image has two dual universal properties. A further theorem characterizes the eventual image as a terminal coalgebra. In all, nine characterizations of the eventual image are given, valid at different levels of generality. |
| title | The eventual image |
| topic | Category Theory Dynamical Systems General Topology Rings and Algebras |
| url | https://arxiv.org/abs/2210.00302 |