Related papers: A logical analysis of fixpoint theorems

In this paper, we establish a common fixed point theorem for two pairs of occasionally weakly compatible single and set-valued maps satisfying a strict contractive condition in a metric space. Our result extends many results existing in the…

We consider bounded 2-metric spaces satisfying an additional axiom, and show that a contractive mapping has either a fixed point or a fixed line.

In this article, a new class of operators, termed Ad-contractions, is introduced to extend the framework of A-contractions to the setting of dislocated metric spaces. Fixed point results are established for single mappings, sequences of…

Lawvere's generalised the notion of complete metric space to the field of enriched categories: an enriched category is said to be Cauchy-complete if every left adjoint bimodule into it is represented by an enriched functor. Looking at this…

This paper investigates asymptotic fixed point results for nonlinear contractions, with emphasis on Kirk-type theorems and their generalizations. A central difficulty in the literature has been the requirement that the mapping possesses a…

Fixpoint operators are tools to reason on recursive programs and data types obtained by induction (e.g. lists, trees) or coinduction (e.g. streams). They were given a categorical treatment with the notion of categories with fixpoints. A…

This article generalizes the work of Ballmann and \'Swiatkowski to the case of Reflexive Banach spaces and uniformly convex Busemann spaces, thus giving a new fixed point criterion for groups acting on simplicial complexes.

We introduce a general unifying framework for the investigation of pointlike sets. The pointlike functors are considered as distinguished elements of a certain lattice of subfunctors of the power semigroup functor; in particular, we exhibit…

For a finite and positive measure space $(\Omega,\Sigma,\mu)$ and any weakly compact convex subset of $L\sp\infty(\Omega,\Sigma,mu)$, a fixed point theorem for a class of nonexpansive self-mappings is proved. An analogous result is obtained…

The main goal of this paper is proving the fixed point theorem for finite groups acting on weakly systolic complexes. As corollaries we obtain results concerning classifying spaces for the family of finite subgroups of weakly systolic…

We obtain new results on the existence and multiplicity of fixed points of Hammerstein equations in very general cones. In order to achieve this, we combine a new formulation of cones in terms of continuous functionals with fixed point…

It is well known, as follows from the Banach-Steinhaus theorem, that if a sequence $\left\{y_{n}\right\}_{n=1}^{\infty}$ of linear continuous functionals in a Fr\'echet space converges pointwise to a linear functional $Y,$ $Y\left( x\right)…

The purpose of this paper is to obtain sufficient conditions for the existence of a unique fixed point of T-Kannan type mappings on complete cone metric spaces depended on another function.

New fixed point results are presented for ${\cal U}_c^{\kappa}(X,X)$ maps in extension type spaces.

The Cauchy problem for a quasilinear system of hyperbolic-parabolic equations is addressed with the method of linearization and fixed point. Coupling between the hyperbolic and parabolic variables is allowed in the linearization and we do…

We prove a unified and general criterion for the uniqueness of critical points of a functional in the presence of constraints such as positivity, boundedness, or fixed mass. Our method relies on convexity properties along suitable paths and…

Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also…

Any maximal monotone operator can be characterized by a convex function. The family of such convex functions is invariant under a transformation connected with the Fenchel-Legendre conjugation. We prove that there exist a convex…

In this paper, we introduce a new type of coupled fixed point theorem in partially ordered complete metric space. We give an example to support of our result.

This article re-examines Lawvere's abstract, category-theoretic proof of the fixed-point theorem whose contrapositive is a `universal' diagonal argument. The main result is that the necessary axioms for both the fixed-point theorem and the…