Approximate Coalgebra Homomorphisms and Approximate Solutions - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2020

Approximate Coalgebra Homomorphisms and Approximate Solutions

Jiří Adámek
  • Fonction : Auteur
  • PersonId : 1010357

Résumé

Terminal coalgebras $$\nu 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 $$\mu F$$ has the property that for every coalgebra A we obtain its unique homomorphism into $$\nu F$$ as a limit of a Cauchy sequence of morphisms into $$\mu 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 $$\varPsi B$$ on a pointed object B we analogously present a canonical ultrametric on its underlying set. The subspace formed by the free algebra $$\varPhi B$$ on B has the property that for every recursive equation in $$\varPsi B$$ we obtain the unique solution as a limit of a Cauchy sequence of morphisms into $$\varPhi 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.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Identifiants

Citer

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⟩
54 Consultations
38 Téléchargements

Altmetric

Partager

More