The eventual image
type: Item
instance of: scholarly article
title: The eventual image
author: Tom Leinster
published in: Theory and Applications of Categories
publication date: 2024-08-27T00:00:00Z
review text: Any endomorphism in a suitably complete category \(\mathcal{C}\)\ gives rise to an automorphism in \(\mathcal{C}\)\ in two dual universal ways. Let \(X^{\circlearrowright f}\)\ be an endomorphism in \(\mathcal{C}\). Following from the existence of Kan extensions,\N\N\begin{itemize}\N\item[(1)] there is an automorphism \(L^{\circlearrowright u}\)\ in \(\mathcal{C}\)\ together with a map \(L^{\circlearrowright u}\rightarrow X^{\circlearrowright f}\)\ that is terminal among all maps from an automorphism to \(X^{\circlearrowright f}\), and dually\N\N\item[(2)] there is an automorphism \(M^{\circlearrowright v}\)\ in \(\mathcal{C}\)\ together with a map \(X^{\circlearrowright f}\rightarrow M^{\circlearrowright v}\)\ that is initial as such,\N\end{itemize}\N\NIt is observed that in categories whose objects are sufficiently finite in nature, these two dual universal constuctions coincide, called the \textit{eventual image} of \(f\).\N\NThis paper establishes that in any category with a factorization system abiding by certain axioms, the eventual image has two dual universal properties. The author characterizes the eventual image as a terminal coalgebra.\N\NThe synopsis of the paper goes as follows.\N\N\begin{itemize}\N\item[\S 2] gives the definitions.\N\N\item[\S 3] gives some general results such as the claim that\N\[\N\mathrm{im}^{\infty}\left( f^{n}\right) =\mathrm{im}^{\infty}\left( f\right) \text{ and }\left( f^{n}\right) ^{\infty}=f^{\infty}\text{ for every }n\geq1\text{.}\N\]\N\N\item[\S 4] establishes the main result claiming that if \(\mathcal{C}\)\ admits a factorization system of finite type, then every endomorphism in \(\mathcal{C}\)\ has eventual image duality.\N\N\item[\S 5] establishes the theorem claiming that in a category with a factorization system of finite type, the eventual image is the terminal coalgebra for an endofunctor \(A\mapsto fA\).\N\N\item[\S 6] analyzes \ the eventual image in the category of finite sets.\N\N\item[\S 7] analyzes \ the even…
reviewed by: Hirokazu Nishimura
Mathematics Subject Classification ID: 18A32
Mathematics Subject Classification ID: 18A40
Mathematics Subject Classification ID: 18F99
Mathematics Subject Classification ID: 51F99
zbMATH DE Number: 7902417
zbMATH Keywords: dynamical system
zbMATH Keywords: factorization system
zbMATH Keywords: coalgebra
zbMATH Keywords: metric space
MaRDI profile type: Publication
cites work: A final coalgebra theorem
cites work: Q4044767
cites work: Q4680360
cites work: Linear Algebra Done Right
cites work: How to recognize homeomorphisms and isometries
cites work: A course in metric geometry
cites work: Weak $\infty$-categories via terminal coalgebras
cites work: Q3993502
cites work: Q5586461
cites work: Categories of continuous functors. I
cites work: Q4449470
cites work: Q3934579
cites work: Q5711517
cites work: Symbolic dynamics. One-sided, two-sided and countable state Markov shifts
cites work: A fixpoint theorem for complete categories
cites work: Q3368182
cites work: An Introduction to Symbolic Dynamics and Coding
cites work: Q4264327
cites work: Universal coalgebra: A theory of systems
cites work: Representation theory of finite monoids
cites work: Strong shift equivalence theory and the shift equivalence problem
cites work: Q5615935
description: scientific article; zbMATH DE number 7902417