The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
scientific article; zbMATH DE number 4108977
scientific article