Zp as a final coalgebra obtained by Cauchy completing the initial algebra

Abstract

The metric space of p -adic integers with the p-adic metrict Zp, is presented as a final coalgebra, obtained as the Cauchy completion of the initial algebra of an endofunctor on the category of one-pointed one-bounded metric spaces with short maps. This fact, that the final coalgebra is the Cauchy completion of the initial algebran g iu i used po show that Zp is also the final coalgebra of this endofunctor in the continuous setting. Some final coalgebras on pointed metnc spaces with short maps are known to be the Cauchy completion of the intial algd ibs t ian In a separate wtudyt Zp has been observed as the finu il coalgebra of certain endofunctors on ultra metric spaces. The results of this paper unify these observations and give a coalgebraic characterisation of t n g h ue s s h eelf sio m inilt a,rity i o relaxing the ultra metric condition to one-bounded metrics. Obtaining the final coalgebra as the Cauchy completion of the initial algebra is in close analogy with clas sical results in iterated function systems. Another question that has been asked in the literature is whether such results hold when the maps are chosen to be Lipchitz. We give evidence as to why selecting continuous maps as the morphisms may be the right choice for such results to hold.