
TL;DR
This paper unifies various dual universal properties of the eventual image in categories with certain factorization systems, providing nine characterizations and linking it to terminal coalgebras.
Contribution
It introduces a general framework for the eventual image with dual universal properties and characterizes it as a terminal coalgebra across broad categorical contexts.
Findings
Unifies dual universal properties of the eventual image.
Provides nine different characterizations of the eventual image.
Links the eventual image to terminal coalgebras.
Abstract
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 , there is a doubly-universal automorphism on whose underlying object is the eventual image . 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Rings, Modules, and Algebras · Algebraic structures and combinatorial models
