A logical analysis of fixpoint theorems

MaRDI QIDQ6416049arXivFDO

Authors Arij Benkhadra, Isar Stubbe

Publication date 3 November 2022

Published in arXiv

Mathematics Subject Classification ID

Quantales (06F07) Enriched categories (over closed or monoidal categories) (18D20) Fixed-point theorems (47H10) Fixed-point and coincidence theorems (topological aspects) (54H25)

arXiv classification

math.CT

Abstract: We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially lower-semicontinuous. Sufficient conditions for the uniqueness of the fixpoint are established. Examples include known and new fixpoint theorems for metric spaces, fuzzy metric spaces, and probabilistic metric spaces.

This page was built for publication: A logical analysis of fixpoint theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6416049)