Affordable Access

Publisher Website

Terminal sequences for accessible endofunctors

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Publication Date
Volume
19
Identifiers
DOI: 10.1016/s1571-0661(05)80267-1
Disciplines
  • Mathematics

Abstract

Abstract We consider the behaviour of the terminal sequence of an accessible endofunctor T on a locally presentable category K. The preservation of monics by T is sufficient to imply convergence, necessarily to a terminal coalgebra. We can say much more if K is Set, and κ is ω. In that case it is well known that we do not necessarily get convergence at ω, however we show that to ensure convergence we don't need to go to a higher cardinal, just to the next limit ordinal, ω + ω. For an ω-accessible endofunctor T on Set the construction of the terminal coalgebra can thus be seen as a two stage construction, with each stage being finitary. The first stage obtains the Cauchy completion of the initial T-algebra as the ω-th object in the terminal sequence A ω. In the second stage this object is pruned to get the final coalgebra A ω+ω. We give an example where A ω is the solution of the corresponding domain equation in the category of complete ultra-metric spaces.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

[Medical data bases accessible by terminal].

on Medicina Clínica Jul 16, 1983

On Iteratable Endofunctors

on Electronic Notes in Theoretica...
More articles like this..