Conference Papers Year : 2020

Approximate Coalgebra Homomorphisms and Approximate Solutions

Jiří Adámek
  • Function : Author
  • PersonId : 1010357

Abstract

Terminal coalgebras νF

of finitary endofunctors F on categories called strongly lfp are proved to carry a canonical ultrametric on their underlying sets. The subspace formed by the initial algebra μF
has the property that for every coalgebra A we obtain its unique homomorphism into νF
as a limit of a Cauchy sequence of morphisms into μF
called approximate homomorphisms. The concept of a strongly lfp category includes categories of sets, posets, vector spaces, boolean algebras, and many others.For the free completely iterative algebra ΨB
on a pointed object B we analogously present a canonical ultrametric on its underlying set. The subspace formed by the free algebra ΦB
on B has the property that for every recursive equation in ΨB
we obtain the unique solution as a limit of a Cauchy sequence of morphisms into ΦB
called approximate solutions. A completely analogous result holds for the free iterative algebra RB on B.

Fichier principal
Vignette du fichier
493577_1_En_2_Chapter.pdf (330) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03232353 , version 1 (21-05-2021)

Licence

Identifiers

Cite

Jiří Adámek. Approximate Coalgebra Homomorphisms and Approximate Solutions. 15th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2020, Dublin, Ireland. pp.11-31, ⟨10.1007/978-3-030-57201-3_2⟩. ⟨hal-03232353⟩
78 View
48 Download

Altmetric

Share

  • More