A new method for solving domain equations in categories of metric spaces is studied. The categories CMS ≈ and KMS ≈ are introduced, having complete and compact metric spaces as objects and ε-adjoint pairs as arrows. The existence and uniqueness of fixed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-metric spaces, and it is shown how to solve domain equations in a non-categorical framework.

Solutions of Functorial and Non-Functorial Metric Domain Equations

ALESSI, Fabio;
1995

Abstract

A new method for solving domain equations in categories of metric spaces is studied. The categories CMS ≈ and KMS ≈ are introduced, having complete and compact metric spaces as objects and ε-adjoint pairs as arrows. The existence and uniqueness of fixed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-metric spaces, and it is shown how to solve domain equations in a non-categorical framework.
File in questo prodotto:
File Dimensione Formato  
abbr.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: Non pubblico
Dimensione 7.09 MB
Formato Adobe PDF
7.09 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/679680
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 1
social impact